residuated-binars
Package for generating and validating examples of different algebraic structures using Isabelle proof assistant
Activity
- Latest release
- 4y ago
- Total releases
- 3
- Cadence
- ~28 days
- Last 12 months
- 0
Details
- License
- Apache-2.0
- First release
- May 20, 2022
Releases
| Version | Released | |
|---|---|---|
0.0.4
patch
| ||
0.0.2
patch
| ||
0.0.1
initial
|