EmilieGrienenberger

Pinned Repositories

Holide
A translator from OpenTheory to Dedukti
Language:OCaml2 6 72
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml0 1 00
lpme-in-coq
A formalisation of the Calculus of Constructions
Language:Coq0 0 00

EmilieGrienenberger's Repositories

EmilieGrienenberger/Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml0 1 00
EmilieGrienenberger/lpme-in-coq
A formalisation of the Calculus of Constructions
Language:Coq0 0 00