packages
[ 源代码: coq ]
软件包: libcoq-stdlib (8.20.1+dfsg-1build1) [universe]
libcoq-stdlib 的相关链接
Ubuntu 的资源:
下载源码包 coq:
维护者:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Benjamin Barenblat
- Julien Puydt
- Ralf Treinen
- Stéphane Glondu
It should generally not be necessary for users to contact the original maintainer.
外部的资源:
- 主页 [coq.inria.fr]
相似软件包:
proof assistant for higher-order logic (theories)
其他与 libcoq-stdlib 有关的软件包
|
|
|
|
-
- rec: coq
- proof assistant for higher-order logic (toplevel and compiler)