agda-library
There are 15 repositories under agda-library topic.
oisdk/agda-ring-solver
A fast, easy-to-use ring solver for agda with step-by-step solutions
ualib/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
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.
xieyuheng/cat
A categorical semantics library in Agda.
felko/linear-algebra
Linear algebra formalization in Agda
jonaprieto/agda-prop
A Library for Classical Propositional Logic in Agda
L-TChen/FiniteSets
Fintie Sets in Cubical Agda
berndlosert/agda-base
A base library for Agda for regular programming
lane-core/kitcat
Kitcat is an experimental Univalent mathematics library for proof theory, category theory, and computer science formalization in Agda
jonaprieto/agda-metis
Metis Prover Reasoning for Propositional Logic in Agda
juniors90/CALP-beamer
Notes about "An introduction to Finite Group Representation Theory using Agda"
pthariensflame/agda-fumulas
An exploration of fumulas in Agda—a new perspective on ring theory
williamdemeo/agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
gonzigaran/agda-clones
Formalizing the clone theory in type theory and Agda
banacorn/FAM
functors, applicatives and monads