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.

语言：TeX · GitHub 星标：20 · Fork：2

话题：agda · agda-library · agda-ualib · dependent-types · formalization · logic · typetheory · universal-algebra

在 GitHub 上查看原仓库