Patrick Massot
Results
2
repositories owned by
Patrick Massot
verbose-lean4
40
Stars
5
Forks
Watchers
Natural language tactics to teach mathematics using Lean 4