color

Coq library on rewriting theory and termination

GitHub
33 stars
3 watching
21 forks
Language: Coq
last commit: 19 days ago
Linked from 2 awesome lists


Backlinks from these awesome lists: