package coq-universe-comparator
A tool to compare universe levels in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.0.tar.gz
md5=a51655b3c9c43e99da10a5b112bf0833
Description
On This Page