cmu-l3 / ntp-toolkit

Neural theorem proving toolkit: data extraction tools for Lean 4
17Updated 2 weeks ago

Related projects

Alternatives and complementary repositories for ntp-toolkit