PyPI page
Home page
Author:
None
Summary:
LangGraph agent for Lean4 theorem formalization and proving
Latest version:
0.1.1
Required dependencies:
aiohttp
|
google-auth
|
jsonargparse
|
langchain
|
langchain-anthropic
|
langchain-google-genai
|
langchain-openai
|
langgraph
|
lean-interact
|
omegaconf
|
platformdirs
|
pydantic
|
pylatexenc
|
python-dotenv
|
requests
|
tavily-python
|
wikipedia
Optional dependencies:
build
|
pre-commit
|
pytest
|
pytest-asyncio
|
pytest-cov
|
pytest-timeout
|
ruff
|
setuptools-scm
|
twine
Downloads last day:
10
Downloads last week:
209
Downloads last month:
1,129