PatrickMassot / verbose-lean4Links

Natural language tactics to teach mathematics using Lean 4
77Updated 3 weeks ago

Alternatives and similar repositories for verbose-lean4

Users that are interested in verbose-lean4 are comparing it to the libraries listed below

Sorting: