Skip to content
@latte-central

LaTTe central

The LaTTe proof assistant and mathematical libraries

Pinned Loading

  1. LaTTe LaTTe Public

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

    Clojure 256 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

Repositories

Showing 10 of 14 repositories
  • latte-nats Public

    A formalization of natural numbers in LaTTe

    latte-central/latte-nats’s past year of commit activity
    Clojure 0 MIT 0 0 0 Updated Mar 1, 2024
  • latte-finsets Public

    Finite sets for LaTTe

    latte-central/latte-finsets’s past year of commit activity
    Clojure 1 MIT 0 0 0 Updated Mar 1, 2024
  • latte-sets Public

    (Typed) Set theory in LaTTe

    latte-central/latte-sets’s past year of commit activity
    Clojure 10 MIT 1 0 0 Updated Dec 4, 2023
  • latte-prelude Public

    The core library of the LaTTe proof assistant

    latte-central/latte-prelude’s past year of commit activity
    Clojure 4 MIT 1 3 0 Updated Dec 1, 2023
  • LaTTe Public

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

    latte-central/LaTTe’s past year of commit activity
    Clojure 256 MIT 13 3 0 Updated Nov 29, 2023
  • latte-lists Public

    Finite inductive polymorphic lists in LaTTe

    latte-central/latte-lists’s past year of commit activity
    Clojure 0 MIT 0 0 0 Updated Nov 29, 2023
  • cantor Public

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

    latte-central/cantor’s past year of commit activity
    Clojure 2 MIT 0 0 0 Updated Nov 16, 2023
  • latte-kernel Public

    The (very) small kernel of the LaTTe proof assistant

    latte-central/latte-kernel’s past year of commit activity
    Clojure 11 MIT 4 4 0 Updated Dec 9, 2022
  • latte-integers Public

    A formalization of integers in LaTTe.

    latte-central/latte-integers’s past year of commit activity
    Clojure 5 MIT 0 0 0 Updated Dec 3, 2022
  • fixed-points Public

    a bit of fixed point theory (in LaTTe)

    latte-central/fixed-points’s past year of commit activity
    Clojure 3 1 0 0 Updated Sep 30, 2019
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…