The Agda Universal Algebra Library (html docs available at the url below)
See the codeagda
agda-library
dependent-types
foundations
logic
model-theory
type-theory
universal-algebra
Contributors
Languages
Python
84.8%
GAP
9.1%
Makefile
3.0%
Nix
1.7%
Shell
1.4%
The Agda Universal Algebra Library (html docs available at the url below)
See the codeagda
agda-library
dependent-types
foundations
logic
model-theory
type-theory
universal-algebra
Contributors
Languages
Python
84.8%
GAP
9.1%
Makefile
3.0%
Nix
1.7%
Shell
1.4%