latte-central/LaTTe
View on GitHub ↗ ★ 273 Clojure
LaTTe : a Laboratory for Type Theory experiments (in clojure)
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-12-18 · latest 2019-01-02
20082026
-
This was my very first experiment with LaTTe ( https://github.com/latte-central/LaTTe ) and with proof assistants in general. You can remix the short article in nextjournal (using the invite code curryon2018 ) to start playing around with…
comment by zampino · 2019-01-02 · in Proving Cantor's Theorem in Clojure Using LaTTe -
…... And it's not really clojure-specific except if you want to try LaTTe: https://github.com/latte-central/LaTTe
comment by fredokun · 2018-11-07 · in A Lisp Way to Type Theory and Formal Proofs (2017) [pdf] -
▲ 4
LaTTe: a Laboratory for Type Theory experiments (in clojure)story by dmmalam · 2016-12-18 · 0 comments