cmu-l3 / minictx-eval

Neural theorem proving evaluation via the Lean REPL
13Updated last month

Related projects

Alternatives and complementary repositories for minictx-eval