jesse-michael-han / lean-gptfLinks

Interactive neural theorem proving in Lean
122Updated 3 years ago

Alternatives and similar repositories for lean-gptf

Users that are interested in lean-gptf are comparing it to the libraries listed below

Sorting: