GitHub repository: trishullab/itp-interface
Primary language: Python
Description: Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theorem proving.