Wheelodex » Projects » lean-dojo

lean-dojo

View on PyPI — Reverse Dependencies (0)

2.2.0 lean_dojo-2.2.0-py3-none-any.whl

Wheel Details

Project: lean-dojo
Version: 2.2.0
Filename: lean_dojo-2.2.0-py3-none-any.whl
Download: [link]
Size: 52412
MD5: 083620c061c5ee43c92e0ce5aaca5200
SHA256: 322e3aeb74958fb91f90585cb3a416224204fc00532daed9023554e3a4c1793c
Uploaded: 2024-12-24 16:58:47 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.4
Name: lean-dojo
Version: 2.2.0
Summary: LeanDojo: Machine Learning for Theorem Proving in Lean
Author-Email: Kaiyu Yang <kaiyuy[at]meta.com>
Project-Url: Homepage, https://leandojo.org/
Project-Url: Bug Tracker, https://github.com/lean-dojo/LeanDojo/issues
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 documentation files (the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions: The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
Keywords: Lean,machine learning,theorem proving
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: MacOS
Classifier: Operating System :: POSIX :: Linux
Classifier: Programming Language :: Python :: 3
Requires-Python: <=3.12,>=3.9
Requires-Dist: filelock
Requires-Dist: gitpython
Requires-Dist: loguru
Requires-Dist: lxml
Requires-Dist: networkx
Requires-Dist: pexpect
Requires-Dist: psutil
Requires-Dist: pygithub
Requires-Dist: python-dotenv
Requires-Dist: ray[default] (>=2.8)
Requires-Dist: toml
Requires-Dist: tqdm
Requires-Dist: types-psutil
Requires-Dist: types-toml
Requires-Dist: black[jupyter]; extra == "all"
Requires-Dist: hatch; extra == "all"
Requires-Dist: ipython; extra == "all"
Requires-Dist: mypy; extra == "all"
Requires-Dist: notebook; extra == "all"
Requires-Dist: pytest; extra == "all"
Requires-Dist: sphinx; extra == "all"
Requires-Dist: sphinx-rtd-theme; extra == "all"
Requires-Dist: hatch; extra == "dev"
Requires-Dist: ipython; extra == "dev"
Requires-Dist: notebook; extra == "dev"
Requires-Dist: sphinx; extra == "docs"
Requires-Dist: sphinx-rtd-theme; extra == "docs"
Requires-Dist: black[jupyter]; extra == "lint"
Requires-Dist: mypy; extra == "lint"
Requires-Dist: pytest; extra == "test"
Provides-Extra: all
Provides-Extra: dev
Provides-Extra: docs
Provides-Extra: lint
Provides-Extra: test
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 4966 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.27.0
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
lean_dojo/__init__.py sha256=_W-ZVzb8elaoIjKlqyVbt1t2hVXY6kfNR1D2-UVaAWU 662
lean_dojo/constants.py sha256=QOWV_XCY8TYNK5M8gwGJCxlqw4AbJTJBVmsJDl-dyLU 2820
lean_dojo/utils.py sha256=TqOpPQAQAh4OgT0uEkUxszPbho6fs_jD8GGrmygEKKw 9899
lean_dojo/data_extraction/ExtractData.lean sha256=BCAH2qn73YrDGU_dzm4RrtInTQBnOmmUOM4hDhvUT60 17696
lean_dojo/data_extraction/ast.py sha256=RcsBZf9DENr4xDZLaIsf6K1hgjLz8koZsxhQYCOcdT4 50464
lean_dojo/data_extraction/cache.py sha256=uVhcEFW5gDI4QQLgYu6K6iSdGnrrScTJORs3EBmXbV4 3111
lean_dojo/data_extraction/lean.py sha256=Ed_e58rGRuIee8tikSIdZHTKOSQnp03OMUsyzSgLejA 29536
lean_dojo/data_extraction/trace.py sha256=xHoyXS8BdmV1KisrHm01Bai-MjsBND7JhPIFDPcmHBc 9671
lean_dojo/data_extraction/traced_data.py sha256=Vd5WoYLLb7SbjSoZA9qUtj5z3EPnt7ukoTZwkN7c6MY 43979
lean_dojo/interaction/Lean4Repl.lean sha256=OBm3wR3NGUE5MpVmUtvNlpqgYGX6XsRd-jBOytFAaAI 11223
lean_dojo/interaction/dojo.py sha256=cCyygKfnEpCFI8wWX7PIVyeuLyOin8BRF3oU2ZPU0_E 14307
lean_dojo/interaction/parse_goals.py sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64 1773
lean_dojo-2.2.0.dist-info/METADATA sha256=u14STFFNYNDEEBWNQfp445eE-bCvL2XHNpBGuKNADjo 7900
lean_dojo-2.2.0.dist-info/WHEEL sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ 87
lean_dojo-2.2.0.dist-info/licenses/LICENSE sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA 1070
lean_dojo-2.2.0.dist-info/RECORD — —