amelieled's repositories
Language:HTML000
Language:OCaml000
Deducteam.github.io
Webpage for Dedukti and related tools
Language:HTML000
Dedukti
Implementation of the λΠ-calculus modulo rewriting
Language:OCamlNOASSERTION000
europroofnet.github.io
Sources of the EuroProofNet web site.
Language:Ruby000
Language:OCaml000
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
Language:OCaml000
Language:Makefile000
Language:Makefile000
Logipedia
An encyclopedia of proofs
Language:OCaml000
loki
A graphical tool to test the robustness of classifiers using Foolbox.
000
michelson-semantics
A K semantics of Tezos' Michelson language.
Language:MakefileNOASSERTION000
Language:Jupyter Notebook000
Language:OCaml000