amelieled

Pinned Repositories

anwarmamat.github.io
Language:HTML00
complf
Language:OCaml00
Deducteam.github.io
Webpage for Dedukti and related tools
Language:HTML00
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml00
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby00
GL_bisect_GL_MPRI
Language:OCaml00
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml00
lambdapi_examples
Language:Makefile00
lambdapi_semantic
00
lib
Language:Makefile0 1 00

amelieled's Repositories

amelieled/anwarmamat.github.io
Language:HTML00
amelieled/complf
Language:OCaml00
amelieled/Deducteam.github.io
Webpage for Dedukti and related tools
Language:HTML00
amelieled/Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCaml00
amelieled/europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby00
amelieled/GL_bisect_GL_MPRI
Language:OCaml00
amelieled/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml00
amelieled/lambdapi_examples
Language:Makefile00
amelieled/lambdapi_semantic
00
amelieled/lib
Language:Makefile0 1 00
amelieled/Logipedia
An encyclopedia of proofs
Language:OCaml
amelieled/loki
A graphical tool to test the robustness of classifiers using Foolbox.
amelieled/michelson-semantics
A K semantics of Tezos' Michelson language.
Language:Makefile
amelieled/pfm
Language:Jupyter Notebook
amelieled/SE_GIT_MPRI_2022
amelieled/SemantiK
Language:OCaml