amelieled

Pinned Repositories

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

amelieled's Repositories

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