文件名称：LaTTe：LaTTe：类型理论实验实验室（clojure）
文件大小：128KB
文件格式：ZIP
更新时间：2024-02-22 01:59:04
clojure logic mathematics proof-assistant ClojureClojure
LaTTe：LaTTe：类型理论实验实验室（clojure）
【文件预览】：
LaTTe-master
----.gitignore(150B)
----codox()
--------codox.clj(597B)
----src()
--------latte()
----deps.edn(626B)
----LICENSE(1KB)
----doc()
--------00_overview.md(3KB)
--------101_A_logician_dream.md(10KB)
--------typecheck.lyx(2KB)
--------102_Lambda_the_ultimate.md(27KB)
--------01_intro.md(103B)
----README.md(5KB)
----TODO.md(1KB)
----.circleci()
--------config.yml(191B)
----latte-dev-setup.sh(1KB)
----docs()
--------js()
--------latte.rel.html(6KB)
--------latte.equal.html(11KB)
--------css()
--------latte.prop.html(27KB)
--------latte.fun.html(13KB)
--------latte.quant.html(13KB)
--------101_A_logician_dream.html(14KB)
--------00_overview.html(6KB)
--------index.html(4KB)
--------latte.core.html(15KB)
--------latte.classic.html(5KB)
--------01_intro.html(2KB)
--------102_Lambda_the_ultimate.html(35KB)
----test()
--------latte()
----project.clj(618B)