mukilan
Follow
Lists (3)
Sort Name ascending (A-Z)
Starred repositories
4
stars
written in Lean
Clear filter
Source code for the Mathematics in Lean tutorial.
Natural language tactics to teach mathematics using Lean 4