Skip to content

@latte-central LaTTe central

Change the repository type filter

All

    Repositories list

    14 repositories

    • latte-sets

      Public
      (Typed) Set theory in LaTTe
      Clojure
      •
      MIT License
      •1•10•0•0•Updated Jul 19, 2024Jul 19, 2024

    • latte-finsets

      Public
      Finite sets for LaTTe
      Clojure
      •
      MIT License
      •0•1•0•0•Updated Jul 17, 2024Jul 17, 2024

    • latte-nats

      Public
      A formalization of natural numbers in LaTTe
      Clojure
      •
      MIT License
      •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • latte-prelude

      Public
      The core library of the LaTTe proof assistant
      Clojure
      •
      MIT License
      •1•4•3•0•Updated Dec 1, 2023Dec 1, 2023

    • LaTTe

      Public
      LaTTe : a Laboratory for Type Theory experiments (in clojure)
      logicmathematicsclojureproof-assistant
      Clojure
      •
      MIT License
      •13•257•3•0•Updated Nov 29, 2023Nov 29, 2023

    • latte-lists

      Public
      Finite inductive polymorphic lists in LaTTe
      Clojure
      •
      MIT License
      •0•0•0•0•Updated Nov 29, 2023Nov 29, 2023

    • cantor

      Public
      A proof of the Cantor-Bernstein(-Schroeder) theorem in LaTTe
      Clojure
      •
      MIT License
      •0•2•0•0•Updated Nov 16, 2023Nov 16, 2023

    • latte-kernel

      Public
      The (very) small kernel of the LaTTe proof assistant
      Clojure
      •
      MIT License
      •4•11•4•0•Updated Dec 9, 2022Dec 9, 2022

    • latte-integers

      Public
      A formalization of integers in LaTTe.
      Clojure
      •
      MIT License
      •0•5•0•0•Updated Dec 3, 2022Dec 3, 2022

    • fixed-points

      Public
      a bit of fixed point theory (in LaTTe)
      Clojure
      •1•3•0•0•Updated Sep 30, 2019Sep 30, 2019

    • latte-tutorial

      Public
      A Gentle Introduction to the LaTTe Proof Assistant - Your first Clojure Proof!
      Clojure
      •
      MIT License
      •0•2•0•0•Updated Jul 17, 2019Jul 17, 2019

    • latte-euroclojure-2016

      Public
      LaTTe @ euroclojure 2016
      Clojure
      •1•2•0•0•Updated Nov 26, 2018Nov 26, 2018

    • latte-ELS-2017

      Public
      LaTTe@EuropeanLispSymposium2017 (paper & presentation)
      TeX
      •0•4•0•0•Updated Nov 26, 2018Nov 26, 2018

    • latte-checker

      Public archive
      A fast standalone type-checker for LaTTe (in Ocaml)
      OCaml
      •
      MIT License
      •0•1•0•0•Updated Dec 8, 2017Dec 8, 2017