4 projects
clever-bench
Python library for running the CLEVER Benchmark
copra-theorem-prover
Python library for running proof search using CoPra
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.
proof-wala
Python library for training LLMs with Interactive Theorem Proving data.
