LaTTe central

LaTTe central's repositories

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

Language:ClojureMIT253 16 13

The (very) small kernel of the LaTTe proof assistant

Language:ClojureMIT11 4 7

(Typed) Set theory in LaTTe

Language:ClojureMIT9 20

LaTTe@EuropeanLispSymposium2017 (paper & presentation)

Language:TeX4 40

A formalization of integers in LaTTe.

Language:ClojureMIT4 30

The core library of the LaTTe proof assistant

Language:ClojureMIT4 5 4

a bit of fixed point theory (in LaTTe)

Language:Clojure3 30

A proof of the Cantor-Bernstein(-Schroeder) theorem in LaTTe

Language:ClojureMIT200

LaTTe @ euroclojure 2016

Language:Clojure2 30

A Gentle Introduction to the LaTTe Proof Assistant - Your first Clojure Proof!

Language:ClojureMIT2 20

A fast standalone type-checker for LaTTe (in Ocaml)

Language:OCamlMIT1 20

Finite sets for LaTTe

Language:ClojureMIT1 30

A formalization of natural numbers in LaTTe

Language:ClojureMIT040