Wheelodex » Projects » residuated-binars

residuated-binars

View on PyPI — Reverse Dependencies (0)

0.0.4 residuated_binars-0.0.4-py3-none-any.whl

Wheel Details

Project: residuated-binars
Version: 0.0.4
Filename: residuated_binars-0.0.4-py3-none-any.whl
Download: [link]
Size: 51416
MD5: bc465f9cc57897ca66b5a467fa1a9014
SHA256: 32f46bf84d37e60c08fb852222bda15c6862a3df39ed73d76fffaee6af60e82f
Uploaded: 2022-07-17 08:24:52 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.1
Name: residuated-binars
Version: 0.0.4
Summary: Package for generating and validating examples of different algebraic structures using Isabelle proof assistant
Author: Boris Shminke
Author-Email: boris[at]shminke.ml
Home-Page: https://github.com/inpefess/residuated-binars
Project-Url: Repository, https://github.com/inpefess/residuated-binars
License: Apache-2.0
Classifier: Development Status :: 7 - Inactive
Classifier: Environment :: Console
Classifier: Intended Audience :: Science/Research
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Natural Language :: English
Classifier: Operating System :: OS Independent
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Typing :: Typed
Requires-Python: >=3.7.1,<3.11
Requires-Dist: graphviz
Requires-Dist: importlib_resources; python_version < "3.9"
Requires-Dist: isabelle-client
Requires-Dist: nest-asyncio
Requires-Dist: pydocstyle
Description-Content-Type: text/x-rst
[Description omitted; length: 2655 characters]

WHEEL

Wheel-Version: 1.0
Generator: poetry 1.0.8
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
residuated_binars/__init__.py sha256=rFD00V5t7q2JSo2YfUPqA2Y6QYR4RdQ3fcpONiR-3Vo 698
residuated_binars/abelian_group.py sha256=ZgZqzKVnzxDz7YsdQ1pQRmW8e5IING_mZmqqwVgM2us 1771
residuated_binars/add_task.py sha256=-M_DgUDyDQxD96PreAIl05yD_K_7Ort5nHg4EllQ8Bs 2754
residuated_binars/algebraic_structure.py sha256=HczDeSBSqq1h8vsTc_90Sr5AmrUfMsj2UdPCD5flshg 6664
residuated_binars/axiom_checkers.py sha256=FDUW7z37N5dscCnOIZZljiAYik86TXr-iMvJQHAmRgU 9100
residuated_binars/boolean_ring.py sha256=FFd5F1vca7-Uso-WBiy5njy1t13EVu6-bMKrPeKFEV8 2062
residuated_binars/bounded_lattice.py sha256=lJ01DwsCbeom-XPs2fy4lYw1cJ7uWGvx3hjMqmirfZU 1887
residuated_binars/check_assumptions.py sha256=gwCs9NWoRd7OTxf9mKxP42LAHw9Y_gBhX8v7dRYQfyo 3296
residuated_binars/constants.py sha256=V-z6AlMIBVc1Nzpobllj0hwyWX3fd4D_ik_LBv8KMLQ 5725
residuated_binars/filter_theories.py sha256=BOCAJClYULVJfZK3Rvmu7OzYwhW8RMSCBZETckO_2JE 3135
residuated_binars/generate_theories.py sha256=2u9IaN4oK57p1yWk7xjWaTvAzxPhxE8OLd80YKXuVQQ 5497
residuated_binars/lattice.py sha256=MAz1kZHubIBc5xHMHKGckPlMb9FpMKN0UUlj7W9rvSc 5475
residuated_binars/parser.py sha256=G_F-sUkuOQtXIjscCU6LQowCFjprcXjRtTjZ_tat0vU 5474
residuated_binars/pseudo_r0_algebra.py sha256=3cm8LzGWmOijqIghufMKPNI1nPWhbJ0os-VJ_ybCE3s 4764
residuated_binars/pseudo_weak_r0_algebra.py sha256=YQSj5n6aOzwY7i4kE1iVc-dWHJN8ZS3AsRlheYQIgXg 5121
residuated_binars/py.typed sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
residuated_binars/residuated_binar.py sha256=4rX4rNGzNpppbebl88W17PPvDj33LF19ki9fVVNbqJk 6222
residuated_binars/resources/isabelle.out sha256=hCMTVf3Lja7pXj6Zqdyw7r5J5NPrqWPgCcDPeLQN1XU 328462
residuated_binars/resources/isabelle2.out sha256=IYL5yZTwAQByP1UlN_xZsmfmDPXB0DRVfn2YbCGHr2U 107530
residuated_binars/use_nitpick.py sha256=_93yNzvUyOVJTx3VXL4XrsWETHbvcEHcXOeGD5MWWRA 2881
residuated_binars/utils.py sha256=JNHLVj2ommhP91bJycYmqIJM9HfJgf6eEorE-tEL3nc 1587
residuated_binars-0.0.4.dist-info/LICENSE sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA 11358
residuated_binars-0.0.4.dist-info/WHEEL sha256=DA86_h4QwwzGeRoz62o1svYt5kGEXpoUTuTtwzoTb30 83
residuated_binars-0.0.4.dist-info/METADATA sha256=NtVhhOgGib0OYndLvzFD-tUKR75vNX8fVatSWQc16lg 3905
residuated_binars-0.0.4.dist-info/RECORD — —