https://blanqui.gitlabpages.inria.fr/
INRIA Gif-sur-Yvette, France
Frédéric Blanqui
Coq library on rewriting theory and termination
fblanqui
