ualib/ualib.github.io

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.

agda agda-library agda-ualib dependent-types formalization logic typetheory universal-algebra

No README found.

Languages

TeX80.6%Agda10.7%HTML4.7%Emacs Lisp2.6%Python0.5%Makefile0.3%CSS0.3%Shell0.2%Haskell0.0%JavaScript0.0%Ruby0.0%

Contributors

WI AN HY

Latest Release

v.1.0December 8, 2021

Creative Commons Attribution Share Alike 4.0 International

Created March 3, 2021

Updated February 11, 2025