trishullab / itp-interface

Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.
11Updated last week

Alternatives and similar repositories for itp-interface:

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