Package for generating and validating examples of different algebraic structures using Isabelle proof assistant
Project description
Generating Algebraic Structures with Isabelle
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-browserFinally, one can run it on Binder
How to Use
See examples/residuated-binars-example.ipynb.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
residuated-binars-0.0.4.tar.gz
(40.8 kB
view details)
Built Distribution
File details
Details for the file residuated-binars-0.0.4.tar.gz.
File metadata
- Download URL: residuated-binars-0.0.4.tar.gz
- Upload date:
- Size: 40.8 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.14 CPython/3.10.4 Linux/5.15.0-41-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 4f38958f8ef4bb275105e6bb169fde4a491fed993e10adf196077006808d2673 |
|
| MD5 | ce3b002faf0c6f7964bc498ae962a9d0 |
|
| BLAKE2b-256 | 3809936f254ae60a42a4d191b0baafbc1565192ae2bb09163d00e1546c5e8e2a |
File details
Details for the file residuated_binars-0.0.4-py3-none-any.whl.
File metadata
- Download URL: residuated_binars-0.0.4-py3-none-any.whl
- Upload date:
- Size: 51.4 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: poetry/1.1.14 CPython/3.10.4 Linux/5.15.0-41-generic
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 32f46bf84d37e60c08fb852222bda15c6862a3df39ed73d76fffaee6af60e82f |
|
| MD5 | bc465f9cc57897ca66b5a467fa1a9014 |
|
| BLAKE2b-256 | 99e87914ab9380464544b52509c3de3fa59acbc0315998b55b9255b4428246ff |
