Explore @latte-central Open Source projects

LaTTe central (@latte-central)

latte-central

Stars
304
Global Org. Rank 32,078 (Top 11 %)
Registered about 8 years ago
Most used languages

Clojure
83.3 %

TeX
8.3 %

OCaml
8.3 %

LaTTe

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

latte-kernel

The (very) small kernel of the LaTTe proof assistant

latte-sets

(Typed) Set theory in LaTTe

latte-integers

A formalization of integers in LaTTe.

latte-prelude

The core library of the LaTTe proof assistant

latte-ELS-2017

LaTTe@EuropeanLispSymposium2017 (paper & presentation)

fixed-points

a bit of fixed point theory (in LaTTe)

cantor

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

latte-euroclojure-2016

LaTTe @ euroclojure 2016

latte-tutorial

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

latte-finsets

Finite sets for LaTTe

latte-checker

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