[ 源代码: coq-ext-lib ]
软件包:libcoq-ext-lib(0.12.1-1)
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.