Add project commands, command menu and walkthrough#334
Merged
mhuisi merged 21 commits intoleanprover:masterfrom mhuisi:mhuisi/tasksOct 18, 2023
+2,776-564
Commits
Commits on Sep 15, 2023
- committed
- committed
- committed
Commits on Sep 22, 2023
Commits on Sep 25, 2023
- committed
Commits on Sep 29, 2023
- committed
Commits on Oct 6, 2023
Commits on Oct 10, 2023
- committed
- committed
- committed
Commits on Oct 11, 2023
- committed
Commits on Oct 12, 2023
Commits on Oct 13, 2023
Commits on Oct 17, 2023
Commits on Oct 18, 2023
- committed
- committed