cmu-l3 / minictx-evalLinks

Neural theorem proving evaluation via the Lean REPL
23Updated 7 months ago

Alternatives and similar repositories for minictx-eval

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

Sorting: