Last released Jun 9, 2026
Multi-agent verification orchestration -- LLMs propose, formal tools prove, every change is machine-checked
Last released Apr 25, 2026
Reserved-name placeholder. The real product is the Lean 4 `pythia` tactic + statistics library at https://github.com/athanor-ai/pythia.
Supported by
