[ 源代码: coq-ext-lib ]
软件包:libcoq-ext-lib(0.11.7-2 以及其他的)
Collection of theories and plugins for Coq
This package provides a collection of theories and plugins that may be useful in other Coq developments.
Coq is a proof assistant for higher-order logic.