0 purchases
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.
Customer Reviews
There are no reviews.
