Coq library on rewriting theory and termination
Home Page:http://color.inria.fr/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool