Pinned

1. LaTTe LaTTe Public

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

   Clojure 253 13

2. latte-kernel latte-kernel Public

   The (very) small kernel of the LaTTe proof assistant

   Clojure 11 4

3. latte-sets latte-sets Public

   (Typed) Set theory in LaTTe

   Clojure 10 1

4. latte-integers latte-integers Public

   A formalization of integers in LaTTe.

   Clojure 5

5. latte-finsets latte-finsets Public

   Finite sets for LaTTe

   Clojure 1

6. latte-prelude latte-prelude Public

   The core library of the LaTTe proof assistant

   Clojure 4 1