go lambdacplus 返回
项目作者： aellym0

项目描述 ：
A proof assistant based on the Calculus of Constructions
高级语言： JavaScript
项目地址: git://github.com/aellym0/lambdacplus.git
创建时间： 2021-02-12T15:13:03Z
项目社区：https://github.com/aellym0/lambdacplus
开源协议：
下载


spec_1647594190304.pdf
connectives_syntax_1647594190324.pdf
curry_howard_simple_1647594190403.pdf
intro_elim_rules_1647594190409.pdf
connectives_syntax_1647594190324.pdf
curry_howard_simple_1647594190403.pdf
intro_elim_rules_1647594190409.pdf
spec_1647074241436.pdf
connectives_syntax_1647074241494.pdf
curry_howard_simple_1647074241505.pdf
intro_elim_rules_1647074241527.pdf