agda-library
There are 0 repository under agda-library topic.
oisdk / agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
Language:Agda 38ualib / agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language:Agda 28- 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 18 - Language:Agda 17
jonaprieto / agda-prop
A Library for Classical Propositional Logic in Agda
Language:Agda 15felko / linear-algebra
Linear algebra formalization in Agda
Language:Agda 12L-TChen / FiniteSets
Fintie Sets in Cubical Agda
Language:Agda 12- Language:Agda 8
Metis Prover Reasoning for Propositional Logic in Agda
Language:Agda 1juniors90 / CALP-beamer
Notes about "An introduction to Finite Group Representation Theory using Agda"
Language:TeX 1pthariensflame / agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
Language:Agda 1williamdemeo / agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
Language:Agda 1gonzigaran / agda-clones
Formalizing the clone theory in type theory and Agda
Language:HTML 0- Language:Agda
