Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.github/workflows		.github/workflows
Hello		Hello
MyTactics		MyTactics
Tests		Tests
.gitignore		.gitignore
Demo.lean		Demo.lean
Hello.lean		Hello.lean
MyTactics.lean		MyTactics.lean
README.md		README.md
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain