Agda Relation Algebra vs Pireal
| Pireal | Agda Relation Algebra | |
|---|---|---|
| Stars | 33 | 12 |
| Downloads | ||
| Dependent Packages | ||
| Dependent Repos | ||
| Most Recent Commit | a year ago | 7 months ago |
| Total Releases | 1 | |
| Latest Release | October 10, 2021 | |
| Open Issues | 29 | 1 |
| License | gpl-3.0 | other |
| Programming Language | Python | Agda |