Loreon
Labs
Platform
Docs
Home
Ecosystems
Lean
lean-tactic-programming-guide
Beginner's guide to Tactic Programming in Lean
Lean
Emerging
GitHub
Stars
84
Forks
9
Contributors
5
Last push
2mo ago
Recent commits
Latest commits.
Merge branch 'main' of github.com:mirefek/lean-tactic-programming-quide
a6c1b88
Mirek Olšák
2mo ago
update Lean version
4ecc93e
Mirek Olšák
2mo ago
Merge pull request #8 from pelicanhere/typo
cf01449
mirefek
10mo ago
fix: Typo
438ffe3
pelicanhere
10mo ago
Merge pull request #6 from BoltonBailey/patch-1
b0f336b
mirefek
10mo ago
update Lean & remove the 'hack' tip again
ff6ac31
Mirek Olšák
11mo ago
add a tip for filling `match ... with`
b380471
Mirek Olšák
11mo ago
Merge pull request #7 from mirefek/custom_simp_rw
c47c57a
mirefek
11mo ago
Top contributors
Builders behind this project.
mirefek
68 commits
JovanGerb
11 commits
BoltonBailey
1 commits
pitmonticone
1 commits
pelicanhere
1 commits
