/agda-algebras

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

Primary LanguageAgdaCreative Commons Attribution Share Alike 4.0 InternationalCC-BY-SA-4.0

Watchers

No one’s watching this repository yet.