latte-central/LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

语言：Clojure · GitHub 星标：273 · Fork：14

话题：clojure · logic · mathematics · proof-assistant

在 GitHub 上查看原仓库