damien-pous

aac-tactics

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

coinduction

coinduction library for Coq

coinduction-examples

Examples of usages of the Coq coinduction library

damien-pous.github.io

hypergraph

tool to visualise and edit sourced labelled hypergraphs

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.

relation-algebra

Relation algebra library for Coq

safa

Symbolic Algorithms for Finite Automata

website

damien-pous/relation-algebra

Relation algebra library for Coq

damien-pous/coinduction

coinduction library for Coq

damien-pous/coinduction-examples

Examples of usages of the Coq coinduction library

damien-pous/opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

damien-pous/opam-repository

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

damien-pous/aac-tactics

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

damien-pous/damien-pous.github.io

damien-pous/hypergraph

tool to visualise and edit sourced labelled hypergraphs

damien-pous/safa

Symbolic Algorithms for Finite Automata

damien-pous/website