formalized-postscript
所属分类：Coq
开发工具：Coq
文件大小：0KB
下载次数：0
上传日期：2014-06-12 09:21:48
上 传 者：
sh-1993
说明： Coq证明助手中的PostScript编程，
(PostScript programming in the Coq proof assistant,)
文件列表:
Bool.v (4962, 2014-06-12)
Core.v (10853, 2014-06-12)
Example.v (3705, 2014-06-12)
Makefile (388, 2014-06-12)
Nat.v (16524, 2014-06-12)
Template.v (11400, 2014-06-12)
build (491, 2014-06-12)
config.el (132, 2014-06-12)
coq2ps (625, 2014-06-12)
embed.m4 (225, 2014-06-12)
lib.ps.m4 (1100, 2014-06-12)
stdlib_ext.v (1870, 2014-06-12)
近期下载者：
相关文件：
收藏者：