PyPI page
Home page
Author:
LeanDojo-v2 Contributors
License:
MIT
Summary:
A comprehensive library for AI-assisted theorem proving in Lean
Latest version:
1.0.9
Required dependencies:
datasets
|
deepspeed
|
filelock
|
gitpython
|
loguru
|
lxml
|
networkx
|
numpy
|
openai
|
peft
|
pexpect
|
psutil
|
pygithub
|
python-dotenv
|
pytorch-lightning
|
rank-bm25
|
ray
|
requests
|
toml
|
torch
|
torchmetrics
|
tqdm
|
transformers
|
trl
Optional dependencies:
black
|
flake8
|
isort
|
mypy
|
pytest
|
pytest-cov
Downloads last day:
4
Downloads last week:
82
Downloads last month:
338