package coq-color
A library on rewriting theory and termination
Install
Dune Dependency
Authors
Maintainers
Sources
color.1.1.0.tar.gz
md5=d5b795bb8a43c690fce173c0e6131ac6
On This Page