There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
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 assistant language.
