issues
search
ualib
/
agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
https://ualib.github.io/agda-algebras/
Creative Commons Attribution Share Alike 4.0 International
28
stars
7
forks
source link
nix port
#242
Closed
williamdemeo
closed
1 month ago