latte-central/latte-euroclojure-2016 latte-central/latte-euroclojure-2016

  • Stars
    star
    2
  • Language
    Clojure
  • Created about 8 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
latte-central/latte-euroclojure-2016
github

latte-central

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

LaTTe @ euroclojure 2016

More Repositories

1

LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)
Clojure
259
star
2

latte-kernel

The (very) small kernel of the LaTTe proof assistant
Clojure
11
star
3

latte-sets

(Typed) Set theory in LaTTe
Clojure
10
star
4

latte-integers

A formalization of integers in LaTTe.
Clojure
5
star
5

latte-prelude

The core library of the LaTTe proof assistant
Clojure
4
star
6

latte-ELS-2017

LaTTe@EuropeanLispSymposium2017 (paper & presentation)
TeX
4
star
7

fixed-points

a bit of fixed point theory (in LaTTe)
Clojure
3
star
8

cantor

A proof of the Cantor-Bernstein(-Schroeder) theorem in LaTTe
Clojure
2
star
9

latte-tutorial

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

latte-finsets

Finite sets for LaTTe
Clojure
1
star
11

latte-checker

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