Wheelodex » Projects » mathlibtools

mathlibtools

View on PyPI — Reverse Dependencies (0)

1.3.2 mathlibtools-1.3.2-py3-none-any.whl

Wheel Details

Project: mathlibtools
Version: 1.3.2
Filename: mathlibtools-1.3.2-py3-none-any.whl
Download: [link]
Size: 40516
MD5: af1220a29ee0c25db25534aecaa2ea42
SHA256: ba9c6d590bc9a76f308b3636944d69215d64d85b4846c3f513312beda742156e
Uploaded: 2022-12-15 22:06:40 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: mathlibtools
Version: 1.3.2
Summary: Lean prover mathlib supporting tools.
Author: The mathlib community
Home-Page: https://github.com/leanprover-community/mathlib-tools
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.6
Requires-Dist: toml (>=0.10.0)
Requires-Dist: PyGithub
Requires-Dist: certifi
Requires-Dist: gitpython (>=2.1.11)
Requires-Dist: requests
Requires-Dist: Click
Requires-Dist: tqdm
Requires-Dist: networkx
Requires-Dist: pydot
Requires-Dist: PyYAML (>=3.13)
Requires-Dist: atomicwrites
Requires-Dist: dataclasses; python_version == "3.6"
Description-Content-Type: text/markdown
License-File: LICENSE
[Description omitted; length: 2416 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.38.4)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
mathlibtools/__init__.py sha256=ZygAIkX6Nbjag1czWdQa-yP-GM1mBE_9ss21Xh__JFc 34
mathlibtools/_version.py sha256=cP-mSXXo2ySb-GXXV5KnOSgY0x_PWhCTmYJ3V3OYst0 295
mathlibtools/auth_github.py sha256=KTYCe6zAv8MIZGfQKw7WZjUF3lyOW7IPGN62LSq0ibk 930
mathlibtools/decls.lean sha256=aAixPuUnAYjoBxUNqbyX5stH02sAfo72bTuPkCSTggk 1453
mathlibtools/delayed_interrupt.py sha256=5gEXtlOs4bmNLVMUUuXHHsfGbt8L7sKzWvUPEVZ_pl8 1242
mathlibtools/file_status.py sha256=e6_QClJNmJedHVUEe7sKc3eXR6h7DXo2HJHeBbW5aFI 2453
mathlibtools/git_helpers.py sha256=XMBagSBq36yhLyQa6J3hdi7NlpVkQohxAUaD4ZK-7_8 3073
mathlibtools/import_graph.py sha256=mwjlmQ2G13WiAWHlkjQP616uTRQh3aTEj5evpzsQEmE 5765
mathlibtools/leanproject.py sha256=TJex9GC48hDxMqWuDu-ZFV9V1s0ZhxrwwvsRSTZ-Bes 18525
mathlibtools/lib.py sha256=RSIfcvEaWIZ93EfdB2D37zceTJ2h1brQJR4I27xn2Ok 44381
mathlibtools/new_lib.py sha256=2gYJMAnJROGeJz6_zRJbKFcB0V5XKpjps_KGzyXzRvg 28375
mathlibtools/post-checkout sha256=X5DyJbqtTOxFwfoqEPcLmgxkjIJZdpKGYxdPtC1b_uo 642
mathlibtools/post-commit sha256=tJzbkTCoRofqVtKH6SCuinQGaR1uSgl2aXOmo87fZaU 461
mathlibtools-1.3.2.dist-info/LICENSE sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E 11357
mathlibtools-1.3.2.dist-info/METADATA sha256=Ry68UW-Z15s7sG4p_P8vCTUn-sf4KheLSoLHQm8y6As 3194
mathlibtools-1.3.2.dist-info/WHEEL sha256=2wepM1nk4DS4eFpYrW1TTqPcoGNfHhhO_i5m4cOimbo 92
mathlibtools-1.3.2.dist-info/entry_points.txt sha256=jq_aaq6lH0Lxe_eZGHuQf4fklbQtD_xd6ZIX6uvVA1w 66
mathlibtools-1.3.2.dist-info/top_level.txt sha256=brGGC9pxR_sK99cJQWnT5p8mM3IPag8Zin40phD4X2k 13
mathlibtools-1.3.2.dist-info/RECORD — —

top_level.txt

mathlibtools

entry_points.txt

[console_scripts]
leanproject = mathlibtools.leanproject:safe_cli