文件名称：典型数学：通用类型理论和证明检查器生成器
文件大小：27KB
文件格式：ZIP
更新时间：2024-02-24 21:00:30
haskell type-theory proof-checking HaskellHaskell
典型数学：通用类型理论和证明检查器生成器
【文件预览】：
typical-math-master
----Utilities.hs(2KB)
----.gitignore(1KB)
----Match.hs(4KB)
----Tests.hs(725B)
----LICENSE(34KB)
----Knowledge.hs(7KB)
----README.md(3KB)
----Bidirectional.hs(4KB)
----STLC.hs(8KB)
----ABT.hs(4KB)
----showmath.tex(4KB)