项目描述 ：
LaTTe : a Laboratory for Type Theory experiments (in clojure)

高级语言： Clojure

项目主页： http://latte-central.github.io/LaTTe/

项目地址: git://github.com/latte-central/LaTTe.git

创建时间： 2015-03-04T22:01:18Z
项目社区：https://github.com/latte-central/LaTTe
开源协议：MIT License
下载