cmu-l3 / ntp-toolkitLinks

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

Alternatives and similar repositories for ntp-toolkit

Users that are interested in ntp-toolkit are comparing it to the libraries listed below

Sorting: