Wheelodex » Projects » lean-dojo

lean-dojo

View on PyPI — Reverse Dependencies (0)

1.8.2 lean_dojo-1.8.2-py3-none-any.whl

Wheel Details

Project: lean-dojo
Version: 1.8.2
Filename: lean_dojo-1.8.2-py3-none-any.whl
Download: [link]
Size: 55533
MD5: a551964f3fa8d9e46bc6f13f2cfb832e
SHA256: 6e002100594e96f32dc96d1887e066c9eb26f6b85c616ce96e5c050ac45cc0a1
Uploaded: 2024-04-11 13:35:28 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: lean-dojo
Version: 1.8.2
Summary: LeanDojo: Machine Learning for Theorem Proving in Lean
Author-Email: Kaiyu Yang <kaiyuy[at]caltech.edu>
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: loguru
Requires-Dist: lxml
Requires-Dist: networkx
Requires-Dist: pygithub
Requires-Dist: python-dotenv
Requires-Dist: ray[default] (>=2.8)
Requires-Dist: toml
Requires-Dist: tqdm
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: 5059 characters]

WHEEL

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

RECORD

Path Digest Size
lean_dojo/__init__.py sha256=wqMg1zPACEbUFzjqXYp1C1Uqp6erVitzBaspSU-Exeg 822
lean_dojo/constants.py sha256=04Sf23N5zYgBNCuEJ9QygzE6XWCV04HwPUKSVLT1CR4 3445
lean_dojo/container.py sha256=GabN5xMd4bD551OtPLpFi1YfBxSsatqYfPmAw9txChI 11409
lean_dojo/utils.py sha256=MfzV73gMskorViKHI0qSNsMN5Q_NTw314QcufYfc0yM 9987
lean_dojo/data_extraction/ExtractData.lean sha256=pWBE5HiaSDGNa9-DdlJObJ_GeFHs2rogX3k5tasOLK8 17754
lean_dojo/data_extraction/ast.py sha256=Vkie_y9tKZ3dbnc34BwLdt-214RNmuf-dPY8x6HGKP0 48595
lean_dojo/data_extraction/build_lean4_repo.py sha256=ubpGlYKI196s6qJ_WKN4Jx_1jux4blDBkdlLqmi6hqg 6468
lean_dojo/data_extraction/cache.py sha256=mwW2-jcK9whYMo5qHAwdjhe472EGq59qTHBtRpyYafI 3489
lean_dojo/data_extraction/lean.py sha256=PMMicyv__ZfX-zgt5XhziL1gLxOfyI36-sXAEUnvl9U 20689
lean_dojo/data_extraction/trace.py sha256=qazFOiy8d_lQVrxUoYYMdh2_DHeRQ5dKu6H5OuLvy8Y 4803
lean_dojo/data_extraction/traced_data.py sha256=Ow_pEJw1zQ79Xr-c0KuWF1Jdp_MXFR7fBEhidyP4PjU 43534
lean_dojo/interaction/Lean4Repl.lean sha256=FBmP1fdMDmudDCLQ75oHmSTTr2hosslQAKkUuFil4VI 11202
lean_dojo/interaction/dojo.py sha256=jR2P5CHUBHDPvmlZg2sSC59lRaQ7zlNf3_H9Yz6lwdM 18147
lean_dojo/interaction/parse_goals.py sha256=wWVQw2CIUbfvVqugCj7P08RAhGBTO2L2kEp0P7fhw64 1773
lean_dojo-1.8.2.dist-info/METADATA sha256=VGC4Fl7fB9NEgK_x-uHunwNqAuaPdVHemSK7JmQGMCY 7897
lean_dojo-1.8.2.dist-info/WHEEL sha256=TJPnKdtrSue7xZ_AVGkp9YXcvDrobsjBds1du3Nx6dc 87
lean_dojo-1.8.2.dist-info/licenses/LICENSE sha256=iGKZ60MHRLJE-TXF6EuIE8jSdcQqTcVY0RBI0gRo9jA 1070
lean_dojo-1.8.2.dist-info/RECORD — —