universal-algebra topic
List
universal-algebra repositories
agda-unimath
219
Stars
70
Forks
Watchers
The agda-unimath library
agda-algebras
29
Stars
7
Forks
Watchers
The Agda Universal Algebra Library (html docs available at the url below)
ualib.github.io
19
Stars
2
Forks
Watchers
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof a...
agda-fragment
32
Stars
2
Forks
Watchers
Algebraic proof discovery in Agda