piwheels

residuated-binars

Package for generating and validating examples of different algebraic structures using Isabelle proof assistant

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install residuated-binars

Dependencies

• graphviz
• nest-asyncio
• pydocstyle
• importlib-resources
• isabelle-client

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.0.4	2022-07-17
residuated_binars-0.0.4-py3-none-any.whl (50 KB)
0.0.2	2022-06-20
residuated_binars-0.0.2-py3-none-any.whl (50 KB)
0.0.1	2022-05-20
residuated_binars-0.0.1-py3-none-any.whl (50 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue