trishullab / itp-interfaceLinks

Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.
15Updated 3 weeks ago

Alternatives and similar repositories for itp-interface

Users that are interested in itp-interface are comparing it to the libraries listed below

Sorting: