universal-algebra

There are 9 repositories under universal-algebra topic.

UniMath/agda-unimath
The agda-unimath library
Language:Agda237 9 15773
frex-project/agda-fragment
Algebraic proof discovery in Agda
Language:Agda32 6 02
ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language:Agda31 4 127
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.
Language:TeX20 2 02
gonzigaran/folpy
First Order Logic Python Library
Language:Python5 1 00
dembanakh/PCSP
Small library of concepts in the theory of Constraint Satisfaction Problem and Universal Algebra
Language:Java2 2 00
williamdemeo/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language:Agda1 0 01
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
Language:HTML0 1 00
gonzigaran/global-spectrum
Repository for global spectrum algorithms
Language:Python1 0