cmu-l3 / minictx-eval

Neural theorem proving evaluation via the Lean REPL
20Updated 5 months ago

Alternatives and similar repositories for minictx-eval:

Users that are interested in minictx-eval are comparing it to the libraries listed below