amelieled/basicpage.github.io
Template for a basic academic page
Repositories
amelieled/amelie-ledein.github.io
Academic page of Amélie Ledein
amelieled/Megalodon
The Megalodon interactive theorem prover and proof checker
amelieled/informath
Mathematical terms, definitions, and propositions in as many languages as possible
amelieled/sttfaxport
amelieled/europroofnet.github.io
Sources of the EuroProofNet web site.
amelieled/complf
amelieled/SE_GIT_MPRI_2022
amelieled/lib
amelieled/Logipedia
An encyclopedia of proofs
amelieled/michelson-semantics
A K semantics of Tezos' Michelson language.
amelieled/Dedukti
Implementation of the λΠ-calculus modulo rewriting
amelieled/anwarmamat.github.io
amelieled/Deducteam.github.io
Webpage for Dedukti and related tools
amelieled/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
amelieled/loki
A graphical tool to test the robustness of classifiers using Foolbox.