agda-structures
Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda
Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda
AgdaCC-BY-SA-4.0
Formalizing the mathematics of relational, algebraic, and general structures in type theory and Agda