PyPI page
Home page
Author:
None
License:
MIT License
Copyright (c) 2023 LeanDojo Team
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated docu...
Summary:
LeanDojo: Machine Learning for Theorem Proving in Lean
Latest version:
4.20.0
Required dependencies:
filelock
|
gitpython
|
loguru
|
lxml
|
networkx
|
pexpect
|
psutil
|
pygithub
|
python-dotenv
|
ray
|
toml
|
tqdm
|
types-psutil
|
types-toml
Optional dependencies:
black
|
hatch
|
ipython
|
mypy
|
notebook
|
pytest
|
sphinx
|
sphinx-rtd-theme
Downloads last day:
159
Downloads last week:
302
Downloads last month:
1,234