cmu-l3 / minictx-eval

Neural theorem proving evaluation via the Lean REPL
13Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for minictx-eval