latte-central/LaTTe

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

4 best points · 0 comments · 1 Hacker News post · 273 GitHub stars · View on GitHub

Hacker News discussions