7 projects
openprover
Automated theorem proving using agentic system with frontier LLMs.
openproof
Empty placeholder package.
nanoproof
Minimal open-source implementation of AlphaProof
prover
Empty placeholder package.
leantree
REPL interaction and data extraction for Lean 4.
gym-cellular
Gymnasium-compatible cellular automata-based environments.
papiry
Tool for organizing and downloading research papers.
