https://pypi.org/project/athanor-pythia/ Recent updates to the Python Package Index for athanor-pythia en https://pypi.org/project/athanor-pythia/0.0.1/ Reserved-name placeholder. The real product is the Lean 4 `pythia` tactic + statistics library at https://github.com/athanor-ai/pythia. support@athanor-ai.com Sat, 25 Apr 2026 14:05:16 GMT