agda-library topic

A fast, easy-to-use ring solver for agda with step-by-step solutions

oisdk

A categorical semantics library in Agda.

xieyuheng

The Agda Universal Algebra Library (html docs available at the url below)

ualib

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 a...

ualib

A Library for Classical Propositional Logic in Agda

jonaprieto