/color

Coq library on rewriting theory and termination

Primary LanguageCoqOtherNOASSERTION

Stargazers