3 Commits

Author	SHA1	Message	Date
Leni Aniva	8c93d30ab7	Rename tactic to goal and restructure	2023-10-15 12:31:22 -07:00
Leni Aniva	5f2b394471	Add dependency for lakefile and lean-toolchain	2023-10-02 10:30:58 -07:00
Leni Aniva	2c3a7adb61	Use makefile instead of ad-hoc script	2023-10-02 10:26:19 -07:00