Damien Pous

relation-algebra. Relation algebra library for Coq

coinduction. coinduction library for Coq

coinduction-examples. Examples of usages of the Coq coinduction library

epit25. epit 2025 course (yannick+damien)

string-diagrams. string diagram editor

symkat. Symbolic Algorithms for Kleene algebra with Tests (KAT)

opam-coq-archive. Archive for all Coq related OPAM packages organized in various repositories

opam-repository. Main public package repository for OPAM, the source package manager of OCaml.

partial-orders. Rocq Prover

aac-tactics. Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

safa. Symbolic Algorithms for Finite Automata

categories. category theory