Description:

residuatedbinars 0.0.4

Generating Algebraic Structures with Isabelle

Attention!
If you’re looking for a reproducible example for AITP 2021 paper, find it here.


Attention!
The project is inactive.

This package serves for generating and validating examples of different algebraic structures using Isabelle proof assistant.


Dependencies
Make sure that an installation of Isabelle is on the $PATH


How to Install
The best way to install residuated-binars is to use pip:
pip install residuated-binars
Alternatively, one can use Docker:
docker build -t residuated-binars https://github.com/inpefess/residuated-binars.git
docker run -it --rm -p 8888:8888 residuated-binars jupyter-lab --ip=0.0.0.0 --port=8888 --no-browser
Finally, one can run it on
Binder


How to Use
See examples/residuated-binars-example.ipynb.

License

For personal and professional use. You cannot resell or redistribute these repositories in their original state.

Share

• Share on Facebook
• Share on Twitter