leanblueprint

View on PyPIReverse Dependencies (0)

0.0.16 leanblueprint-0.0.16-py3-none-any.whl

Wheel Details

Project: leanblueprint
Version: 0.0.16
Filename: leanblueprint-0.0.16-py3-none-any.whl
Download: [link]
Size: 34463
MD5: 5d4ed4efedcf9c3400cd6a0809c01b10
SHA256: 96116ed001a583185d614190140bedbe6f273420b379e56f92ac6ecc0ebfa66a
Uploaded: 2024-11-21 08:45:04 +0000

dist-info

METADATA

Metadata-Version: 2.1
Name: leanblueprint
Version: 0.0.16
Summary: Lean prover blueprint plasTeX plugin.
Author: Patrick Massot
Home-Page: https://github.com/PatrickMassot/leanblueprint
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.7
Requires-Dist: plasTeX (>=3.1)
Requires-Dist: plastexshowmore (>=0.0.2)
Requires-Dist: plastexdepgraph (>=0.0.4)
Requires-Dist: click
Requires-Dist: rich
Requires-Dist: rich-click
Requires-Dist: tomlkit
Requires-Dist: Jinja2 (>=3.1.0)
Requires-Dist: GitPython (>=3.1.28)
Description-Content-Type: text/markdown
License-File: LICENSE
License-File: NOTICE
[Description omitted; length: 10959 characters]

WHEEL

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

RECORD

Path Digest Size
leanblueprint/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
leanblueprint/client.py sha256=OLlojS-0SX-XRFafJdlKRBxzyjuq0nKmv_Rtg1fXFHE 19905
leanblueprint/Packages/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
leanblueprint/Packages/blueprint.py sha256=OSme1ZjHWKuqUzFHIliasuP5lWnXonkA-0EOCneNVJ4 11578
leanblueprint/Packages/renderer_templates/blueprint.jinja2s sha256=of5OfxzYpwn7drQtb1fQDNrq8_uKTv5uiPl9VoxUP6o 49
leanblueprint/jekyll_templates/404.html sha256=LsxMh1SORmzCPg3WlFx1Hr2I2AjZrCikGdmDMJ91Ci0 419
leanblueprint/jekyll_templates/Gemfile sha256=O7JddW7E7Iul0QxhY4rrhyePaz6NgCN4GZE9Q6WPskA 803
leanblueprint/jekyll_templates/Gemfile.lock sha256=6l8zJ7KNVqo9QvKUziJ0CJ5EhFW6ouQ_u4IiqfI0SW0 8041
leanblueprint/jekyll_templates/_config.yml sha256=BaELpYI7hJ6ktYlEyFou5srmiKV9b-PUKb_TVtmz-YQ 1442
leanblueprint/jekyll_templates/index.md sha256=9HjITZh7iIQU6PmDkR8m4JucC1z9sXjt8JDMWNCu9n4 505
leanblueprint/jekyll_templates/_include/mathjax.html sha256=R8RSdr9FgWHTmoz4W1trxhF8hy_ua8L_yF_U6AzLmCw 566
leanblueprint/jekyll_templates/_layouts/default.html sha256=B51eS4C9Z724XsCqgZsUq39f_siHlz-x-1fmUt-qIE8 1991
leanblueprint/jekyll_templates/assets/css/style.scss sha256=_0VB_APJk_W4Vput3LIeOSuPWnP_1ERo0mOFq0ILC9A 211
leanblueprint/static/blueprint.css sha256=UVp9ng83yzp-6XT5oAPv0XK2QUTcGwwHT2i900p5pYA 103
leanblueprint/templates/blueprint.sty sha256=O3LN4LFwYJz2D3gUSWb2QuAYEUKt8qYGOr_OVZxGWCQ 34
leanblueprint/templates/blueprint.yml sha256=HTmSjVWeqAAFy6fRijjstWjEqwZz4zqrgjLHcKYiAk4 4857
leanblueprint/templates/content.tex sha256=ic0LxIqInVuM1WwH99QVQg5Eyk4zGsbstVi-SDqs99Q 364
leanblueprint/templates/extra_styles.css sha256=Afa_nSOhcMNgtZaWYbqWoJrztDzsMe0Gs1RBI1yS65A 483
leanblueprint/templates/latexmkrc sha256=FHH5ymLYk1lGYexEJMTsDS-Igo09otIFfeC3ox3YE7Y 182
leanblueprint/templates/plastex.cfg sha256=BcKa2Eu9fd2joaKvcikQOzgKeIFgLx-FXRK6gM9I5PU 340
leanblueprint/templates/print.tex sha256=gD6J1VR8Ui7Dhtz5l3-b1aIlbKFofPc1CJEn7rwA4zU 1125
leanblueprint/templates/web.tex sha256=wZI0ZigRnMAgWpHGo2oyLSaeP7ek7SjB3cnQ90tj4A8 643
leanblueprint/templates/macros/common.tex sha256=W-2r2CoTTd8aWhA7_CvKRKQzaNo58SdmYtP-Y573eHY 821
leanblueprint/templates/macros/print.tex sha256=YVWDaNsU9dvRcujSmyr6OffM0Ifdjdk5lDO_xH8eFLU 1102
leanblueprint/templates/macros/web.tex sha256=2YCGKVccoPCnZEn8SG3zqWRwLroo3dGmmP5mQqpKYhs 261
leanblueprint-0.0.16.dist-info/LICENSE sha256=tAkwu8-AdEyGxGoSvJ2gVmQdcicWw3j1ZZueVV74M-E 11357
leanblueprint-0.0.16.dist-info/METADATA sha256=FQwTdhm1LzBhZi7e1iONo7JHXYvIq15jYVvFNDY82KQ 11676
leanblueprint-0.0.16.dist-info/NOTICE sha256=yfpguTm8q3o-80G_qK6vsh6NRBL5na7tHmeArImzQLY 36
leanblueprint-0.0.16.dist-info/WHEEL sha256=PZUExdf71Ui_so67QXpySuHtCi3-J3wvF4ORK6k_S8U 91
leanblueprint-0.0.16.dist-info/entry_points.txt sha256=QxUKtOC2FCV11ePrACUMF8ophN89xHLCo6d8a4MG77w 64
leanblueprint-0.0.16.dist-info/top_level.txt sha256=LFQnG73O0cITudpl4UAoNkh5DhpKzqXshW3e9PVVBzU 14
leanblueprint-0.0.16.dist-info/RECORD

top_level.txt

leanblueprint

entry_points.txt

leanblueprint = leanblueprint.client:safe_cli