Wheelodex » Projects » proofs

proofs

View on PyPI — Reverse Dependencies (0)

0.0.3 proofs-0.0.3-py3-none-any.whl

Wheel Details

Project: proofs
Version: 0.0.3
Filename: proofs-0.0.3-py3-none-any.whl
Download: [link]
Size: 14150
MD5: 672f01091848c861512901c7e7a114c9
SHA256: 688f3d6e43fc8aed1f4737afc7b6b4aa95f11f12c65b480a690432ae3fb922f4
Uploaded: 2023-06-10 21:09:47 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: proofs
Version: 0.0.3
Summary: Mathematical proof assistant for students and amateurs.
Author: maxtheman
Author-Email: proofs[at]growth.wtf
Home-Page: https://github.com/maxtheman/proofs
License: Apache Software License 2.0
Keywords: nbdev jupyter notebook python
Classifier: Development Status :: 4 - Beta
Classifier: Intended Audience :: Developers
Classifier: Natural Language :: English
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: License :: OSI Approved :: Apache Software License
Requires-Python: >=3.7
Requires-Dist: anyio (==3.7.0)
Requires-Dist: appnope (==0.1.3)
Requires-Dist: argon2-cffi (==21.3.0)
Requires-Dist: argon2-cffi-bindings (==21.2.0)
Requires-Dist: arrow (==1.2.3)
Requires-Dist: asttokens (==2.2.1)
Requires-Dist: astunparse (==1.6.3)
Requires-Dist: async-lru (==2.0.2)
Requires-Dist: attrs (==23.1.0)
Requires-Dist: Babel (==2.12.1)
Requires-Dist: backcall (==0.2.0)
Requires-Dist: beautifulsoup4 (==4.12.2)
Requires-Dist: bleach (==6.0.0)
Requires-Dist: certifi (==2023.5.7)
Requires-Dist: cffi (==1.15.1)
Requires-Dist: charset-normalizer (==3.1.0)
Requires-Dist: comm (==0.1.3)
Requires-Dist: debugpy (==1.6.7)
Requires-Dist: decorator (==5.1.1)
Requires-Dist: defusedxml (==0.7.1)
Requires-Dist: exceptiongroup (==1.1.1)
Requires-Dist: execnb (==0.1.5)
Requires-Dist: executing (==1.2.0)
Requires-Dist: fastcore (==1.5.29)
Requires-Dist: fastjsonschema (==2.17.1)
Requires-Dist: fqdn (==1.5.1)
Requires-Dist: ghapi (==1.0.3)
Requires-Dist: idna (==3.4)
Requires-Dist: importlib-metadata (==6.6.0)
Requires-Dist: importlib-resources (==5.12.0)
Requires-Dist: ipykernel (==6.23.1)
Requires-Dist: ipython (==8.12.2)
Requires-Dist: isoduration (==20.11.0)
Requires-Dist: jedi (==0.18.2)
Requires-Dist: Jinja2 (==3.1.2)
Requires-Dist: json5 (==0.9.14)
Requires-Dist: jsonpointer (==2.3)
Requires-Dist: jsonschema (==4.17.3)
Requires-Dist: jupyter-events (==0.6.3)
Requires-Dist: jupyter-lsp (==2.2.0)
Requires-Dist: jupyter-client (==8.2.0)
Requires-Dist: jupyter-core (==5.3.0)
Requires-Dist: jupyter-server (==2.6.0)
Requires-Dist: jupyter-server-terminals (==0.4.4)
Requires-Dist: jupyterlab (==4.0.1)
Requires-Dist: jupyterlab-pygments (==0.2.2)
Requires-Dist: jupyterlab-quarto (==0.1.45)
Requires-Dist: jupyterlab-server (==2.22.1)
Requires-Dist: MarkupSafe (==2.1.2)
Requires-Dist: matplotlib-inline (==0.1.6)
Requires-Dist: mistune (==2.0.5)
Requires-Dist: mpmath (==1.3.0)
Requires-Dist: nbclient (==0.8.0)
Requires-Dist: nbconvert (==7.4.0)
Requires-Dist: nbdev (==2.3.12)
Requires-Dist: nbformat (==5.9.0)
Requires-Dist: nest-asyncio (==1.5.6)
Requires-Dist: notebook-shim (==0.2.3)
Requires-Dist: overrides (==7.3.1)
Requires-Dist: packaging (==23.1)
Requires-Dist: pandocfilters (==1.5.0)
Requires-Dist: parso (==0.8.3)
Requires-Dist: pexpect (==4.8.0)
Requires-Dist: pickleshare (==0.7.5)
Requires-Dist: pkgutil-resolve-name (==1.3.10)
Requires-Dist: platformdirs (==3.5.1)
Requires-Dist: prometheus-client (==0.17.0)
Requires-Dist: prompt-toolkit (==3.0.38)
Requires-Dist: psutil (==5.9.5)
Requires-Dist: ptyprocess (==0.7.0)
Requires-Dist: pure-eval (==0.2.2)
Requires-Dist: pycparser (==2.21)
Requires-Dist: Pygments (==2.15.1)
Requires-Dist: pyrsistent (==0.19.3)
Requires-Dist: python-dateutil (==2.8.2)
Requires-Dist: python-json-logger (==2.0.7)
Requires-Dist: pytz (==2023.3)
Requires-Dist: PyYAML (==6.0)
Requires-Dist: pyzmq (==25.1.0)
Requires-Dist: requests (==2.31.0)
Requires-Dist: rfc3339-validator (==0.1.4)
Requires-Dist: rfc3986-validator (==0.1.1)
Requires-Dist: Send2Trash (==1.8.2)
Requires-Dist: six (==1.16.0)
Requires-Dist: sniffio (==1.3.0)
Requires-Dist: soupsieve (==2.4.1)
Requires-Dist: stack-data (==0.6.2)
Requires-Dist: sympy (==1.12)
Requires-Dist: terminado (==0.17.1)
Requires-Dist: tinycss2 (==1.2.1)
Requires-Dist: tomli (==2.0.1)
Requires-Dist: tornado (==6.3.2)
Requires-Dist: traitlets (==5.9.0)
Requires-Dist: typing-extensions (==4.6.2)
Requires-Dist: uri-template (==1.2.0)
Requires-Dist: urllib3 (==2.0.2)
Requires-Dist: watchdog (==3.0.0)
Requires-Dist: wcwidth (==0.2.6)
Requires-Dist: webcolors (==1.13)
Requires-Dist: webencodings (==0.5.1)
Requires-Dist: websocket-client (==1.5.2)
Requires-Dist: zipp (==3.15.0)
Provides-Extra: dev
Description-Content-Type: text/markdown
[Description omitted; length: 5323 characters]

WHEEL

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

RECORD

Path Digest Size
proofs/__init__.py sha256=4GZKi13lDTD25YBkGakhZyEQZWTER_OWQMNPoH_UM2c 22
proofs/_modidx.py sha256=rv0HOOmbaT7WBbh56thMuYkuyxIlfAuWl-BqomXb7no 3192
proofs/assistant.py sha256=NwbMPTZ4gUS8aZvjvW6qDQSYwlWFEUQsuF0cOBnai9Q 146
proofs/core.py sha256=ZsBPZfb-drM95Won7mZ44SAh1idHFGepKIGjdUMo3Po 8318
proofs/polynomials.py sha256=5aqMzLBUpejZLAREaq1d_84tZpiirPX_FAKZ6Su8NBI 3376
proofs-0.0.3.dist-info/LICENSE sha256=xV8xoN4VOL0uw9X8RSs2IMuD_Ss_a9yAbtGNeBWZwnw 11337
proofs-0.0.3.dist-info/METADATA sha256=oe5_n1aa5VQ6kLS95LPzGExsOopfYtwohjwHlWDyjYg 9835
proofs-0.0.3.dist-info/WHEEL sha256=pkctZYzUS4AYVn6dJ-7367OJZivF2e8RA9b_ZBjif18 92
proofs-0.0.3.dist-info/entry_points.txt sha256=JsusxN_Tljo5ZHzeEXJcZpPY0I_TPcWEPHsjEfmSfW0 55
proofs-0.0.3.dist-info/top_level.txt sha256=FwzldLuCxcEJhvUfBzov42wJ09kf_OSTunkWnDnzhJ4 7
proofs-0.0.3.dist-info/RECORD — —

top_level.txt

proofs

entry_points.txt

[nbdev]
proofs = proofs._modidx:d