3 Commits

Author	SHA1	Message	Date
Leni Aniva	41db295ff5	Rename tactic to goal and restructure	2023-10-15 12:31:22 -07:00
Leni Aniva	0948e71d60	Add dependency for lakefile and lean-toolchain	2023-10-02 10:30:58 -07:00
Leni Aniva	6d15d1e670	Use makefile instead of ad-hoc script	2023-10-02 10:26:19 -07:00