Wheelodex » Projects » symcollab-theories

symcollab-theories

View on PyPI — Reverse Dependencies (1)

0.1.1 symcollab_theories-0.1.1-py3-none-any.whl

Wheel Details

Project: symcollab-theories
Version: 0.1.1
Filename: symcollab_theories-0.1.1-py3-none-any.whl
Download: [link]
Size: 17634
MD5: a51fa422df30fb59b21cd703ad7162cc
SHA256: ec6833a9a836c5856c7c7a3bcd33811e42262d575baa59db2223ab9267044669
Uploaded: 2020-12-26 17:08:40 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt

METADATA

Metadata-Version: 2.1
Name: symcollab-theories
Version: 0.1.1
Home-Page: https://github.com/symcollab/cryptosolve
Requires-Dist: symcollab-algebra
Requires-Dist: symcollab-rewrite
Requires-Dist: mypy (>=0.740)
Requires-Dist: mypy-extensions (>=0.4.0)
[No description]

WHEEL

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

RECORD

Path Digest Size
symcollab/theories/__init__.py sha256=7h-rtI5tUwcFMKgIEcFaHQ7bjSutM4qVb92fhVp7pXo 69
symcollab/theories/boolean.py sha256=ojirtW9CyXx9bPmf9ffqEyXdP2l9TRORAA2Tbmc8aWE 2861
symcollab/theories/fields.py sha256=1g-hml2cz8KhYEq6ABux7Jod-Vtcz8BpmcTJ2z-kh44 2360
symcollab/theories/groups.py sha256=Ldt89RGYlQ0UhCKp844jo9Ywgz7qEOhJmVg_crw3GDA 1810
symcollab/theories/inductive.py sha256=mLa2_F2PUb9d35FbtwU8CqJAD6zE5eFjnicPwcufgOo 4780
symcollab/theories/lemma.py sha256=cN1BcTR-VMBtFmVVr0jcVA7mQO3umB7R4hPTjJ4HHr8 5921
symcollab/theories/listing.py sha256=mom14LKdmuv6ekogLLWu1DXm9PxNDzyFj7quU7jU6ZU 2301
symcollab/theories/nat.py sha256=WrfjbtB9YnMcR5H2UoTVFbVQmwmsoSlYD4XK7PAZqP4 6439
symcollab/theories/optional.py sha256=CmZSmXhISVRDXH6YMRmh1oq3ypqueoeUP-kezaJ784Y 377
symcollab/theories/pair.py sha256=60HcA9HVpDpQs1JxZS6zTaAUYY55gH3zX9MkUddPE20 740
symcollab/theories/rings.py sha256=nBcn_W8N_DX0Hc3qjdO7CKzAeIB0fDjkihAqrmTC7uE 1621
symcollab/theories/old/_boolean_rings_old.py sha256=AqDQhy1m0q0fip_iEumDhr9JgF0kxgwYJVlGp1NOcIM 1222
symcollab/theories/old/_fields_old.py sha256=_IG92GfGLsC0uI5oTgNvFuFK-f10JLIN6urfSMShZ24 3543
symcollab/theories/old/_groups_old.py sha256=SWfjzh7RariPV1u3v5a8BYUBAM9AVGzbms7PrI9NM_8 5533
symcollab/theories/old/_rings_old.py sha256=OH1UORDLsKnyZFQHKyMSlgM_ruUfTctZ0YLlsT8VF7Q 6982
symcollab_theories-0.1.1.dist-info/METADATA sha256=596cBVnWcDdPDAW9N4TnXhnrAdNWabuQvUKzxqIeX7E 352
symcollab_theories-0.1.1.dist-info/WHEEL sha256=OqRkF0eY5GHssMorFjlbTIq072vpHpF60fIQA6lS9xA 92
symcollab_theories-0.1.1.dist-info/top_level.txt sha256=NRdZAxBfhnCAcFVBRyFWMEjSr_Wj-jm7Hm6YIVS4K_g 10
symcollab_theories-0.1.1.dist-info/RECORD — —

top_level.txt

symcollab