jesse-michael-han / lean-gptf

Interactive neural theorem proving in Lean
117Updated 2 years ago

Alternatives and similar repositories for lean-gptf:

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