Guillaume Melquiond's repositories
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.
aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
MIT000
GPL-3.0000