DrRuisseau / agda-algebras-forky

The Agda Universal Algebra Library (html docs available at the url below)

https://ualib.github.io/agda-algebras/

Geek Repo

Github PK Tool