GitHub topics: universal-algebra
UniMath/agda-unimath
The agda-unimath library
Language: Agda - Size: 27.9 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 249 - Forks: 76
ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language: Agda - Size: 65 MB - Last synced at: 14 days ago - Pushed at: 5 months ago - Stars: 33 - Forks: 7
williamdemeo/agda-algebras Fork of ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language: Agda - Size: 54.5 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 1
gonzigaran/folpy
First Order Logic Python Library
Language: Python - Size: 9.68 MB - Last synced at: about 11 hours ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
Language: HTML - Size: 1.43 MB - Last synced at: 23 days ago - Pushed at: 23 days ago - Stars: 0 - Forks: 0
frex-project/agda-fragment
Algebraic proof discovery in Agda
Language: Agda - Size: 2.39 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 31 - Forks: 2
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: TeX - Size: 52.7 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2
gonzigaran/global-spectrum
Repository for global spectrum algorithms
Language: Python - Size: 65.4 KB - Last synced at: 11 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0