Giters

SkySkimmer / color

Coq library on rewriting theory and termination

Home Page:http://color.inria.fr/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SkySkimmer/color Issues

No issues in this repository yet.