cmu-l3 / ntp-toolkit

Neural theorem proving toolkit: data extraction tools for Lean 4
16Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for ntp-toolkit