andreasabel / agda-algebras Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Home Page: https://ualib.github.io/agda-algebras/
License: Creative Commons Attribution Share Alike 4.0 International