Factual package intelligence from PyPI

ax-prover 0.1.1 package intelligence

LangGraph agent for Lean4 theorem formalization and proving

pip install ax-prover

Current version
0.1.1
Python requirement
>=3.11
License
AGPL-3.0-only
Distribution type
Pure Python wheel
Release files
2 (1 wheels, 1 source)
Download size
603.4 KiB
Release history
2 releases with files
Median release cadence
0 days

ax-prover dependencies

PyPI declares 26 unique dependency rules for this release. Environment markers are shown when supplied by the project.

  1. aiohttp >=3.9.0
  2. google-auth >=2.23.0
  3. langgraph >=1.0.3
  4. langchain >=1.0.8
  5. langchain-anthropic >=1.3.0
  6. langchain-google-genai >=4.2.0
  7. langchain-openai >=1.1.7
  8. lean-interact >=0.1.0
  9. jsonargparse >=4.35.0
  10. omegaconf >=2.3.0
  11. platformdirs >=4.0
  12. pydantic >=2.12.4

The compact report shows 12 of 26 declarations. The interactive dependency graph loads the complete metadata.

Compatibility and release files

ax-prover publishes 1 wheel and 1 source archive for version 0.1.1. Wheel platform tags: any.

Declared Python classifiers: 3.11, 3.12, 3.13.

Release activity and sources

PyPI lists 2 releases with files. The first dated release is ; 2 releases fall within the 365 days preceding the latest dated release. The current release files were uploaded on . The preceding dated release was .