项目描述 ：
Coq implementations of and proofs of properties of typed-languages in Benjamin Pierce's Types and Programming Languages

高级语言： Coq

项目主页：

项目地址: git://github.com/rudynicolop/TAPL-Coq.git

创建时间： 2020-06-26T16:39:22Z
项目社区：https://github.com/rudynicolop/TAPL-Coq
开源协议：
下载