cmu-l3 / ntp-toolkitLinks

Neural theorem proving toolkit: data extraction tools for Lean 4
26Updated last week

Alternatives and similar repositories for ntp-toolkit

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

Sorting: