[ 源代码： coq-simple-io ]
软件包：libcoq-simple-io（1.8.0-2 以及其他的）
Coq plugin for purely functional IO
This package provides a plugin to implement Input/Output (IO) programs directly in Coq, in a style similar to Haskell's.
Coq is a proof assistant for higher-order logic.
其他与 libcoq-simple-io 有关的软件包
|
|
|
|
-
- dep: libcoq-ext-lib-66g51
- 本虚包由这些包填实： libcoq-ext-lib
-
- dep: libcoq-stdlib-bj4w1
- 本虚包由这些包填实： libcoq-stdlib