/agda-structures

Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda

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

agda-structures

Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda