GitHub repository: ualib/ualib.github.io
Primary language: TeX
Created: 2021-03-03T11:08:59Z
Description: 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.