piwheels

lean-dojo

LeanDojo: Machine Learning for Theorem Proving in Lean

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install lean-dojo

Dependencies

• pexpect
• types-toml
• ray
• pygithub
• psutil
• toml
• python-dotenv
• filelock
• types-psutil
• gitpython
• lxml
• tqdm
• networkx
• loguru

Releases

Version	Released	Bullseye Python 3.9	Bookworm Python 3.11	Files
4.20.0	2025-06-30
lean_dojo-4.20.0-py3-none-any.whl (52 KB)
2.2.0	2024-12-24
lean_dojo-2.2.0-py3-none-any.whl (51 KB)
2.1.3	2024-10-13
lean_dojo-2.1.3-py3-none-any.whl (51 KB)
2.1.2	2024-08-15
lean_dojo-2.1.2-py3-none-any.whl (51 KB)
2.1.1	2024-08-11
lean_dojo-2.1.1-py3-none-any.whl (51 KB)
2.1.0	2024-08-06
lean_dojo-2.1.0-py3-none-any.whl (51 KB)
2.0.3	2024-07-17
lean_dojo-2.0.3-py3-none-any.whl (50 KB)
2.0.2	2024-07-15
lean_dojo-2.0.2-py3-none-any.whl (50 KB)
2.0.1	2024-07-10
lean_dojo-2.0.1-py3-none-any.whl (50 KB)
2.0.0	2024-07-04
lean_dojo-2.0.0-py3-none-any.whl (50 KB)
1.9.0	2024-05-28
lean_dojo-1.9.0-py3-none-any.whl (55 KB)
1.8.2	2024-04-11
lean_dojo-1.8.2-py3-none-any.whl (54 KB)
1.8.1	2024-04-11
lean_dojo-1.8.1-py3-none-any.whl (54 KB)
1.8.0	2024-04-04
lean_dojo-1.8.0-py3-none-any.whl (54 KB)
1.7.1	2024-03-16
lean_dojo-1.7.1-py3-none-any.whl (54 KB)
1.7.0	2024-03-09
lean_dojo-1.7.0-py3-none-any.whl (54 KB)
1.6.0	2024-02-19
lean_dojo-1.6.0-py3-none-any.whl (81 KB)
1.5.1	2024-01-21
lean_dojo-1.5.1-py3-none-any.whl (81 KB)
1.5.0	2024-01-18
lean_dojo-1.5.0-py3-none-any.whl (81 KB)
1.4.5	2024-01-05
lean_dojo-1.4.5-py3-none-any.whl (80 KB)
1.4.4	2023-12-14
lean_dojo-1.4.4-py3-none-any.whl (80 KB)
1.4.3	2023-12-09
lean_dojo-1.4.3-py3-none-any.whl (80 KB)
1.4.2	2023-12-03
lean_dojo-1.4.2-py3-none-any.whl (80 KB)
1.4.1	2023-11-29
lean_dojo-1.4.1-py3-none-any.whl (80 KB)
1.4.0	2023-11-08
lean_dojo-1.4.0-py3-none-any.whl (79 KB)
1.3.0	2023-10-27
lean_dojo-1.3.0-py3-none-any.whl (79 KB)
1.2.6	2023-10-12
lean_dojo-1.2.6-py3-none-any.whl (79 KB)
1.2.5	2023-10-02
lean_dojo-1.2.5-py3-none-any.whl (77 KB)
1.2.4	2023-09-05
lean_dojo-1.2.4-py3-none-any.whl (77 KB)
1.2.3	2023-09-02
lean_dojo-1.2.3-py3-none-any.whl (77 KB)
1.2.2	2023-08-25
lean_dojo-1.2.2-py3-none-any.whl (76 KB)
1.2.1	2023-08-16
lean_dojo-1.2.1-py3-none-any.whl (76 KB)
1.2.0	2023-08-13
lean_dojo-1.2.0-py3-none-any.whl (76 KB)
1.1.2	2023-07-06
lean_dojo-1.1.2-py3-none-any.whl (72 KB)
1.1.1	2023-06-28
lean_dojo-1.1.1-py3-none-any.whl (71 KB)
1.1.0	2023-06-26
lean_dojo-1.1.0-py3-none-any.whl (71 KB)
1.0.0	2023-06-20
lean_dojo-1.0.0-py3-none-any.whl (70 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue