Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
-
-
Dependently-typed tactics and certificate checking in Meta Dedukti
-
Dependently-typed tactics and certificate checking in Meta Dedukti
-
Fichiers .ml pour le gouter des doctorants.
-
-
A formalization of lambda-pi modulo theory without rewrite rules.
-
-
-
-
Une classe LaTeX pour rédiger des «points d'avancement» plus jolis que la classe article (mais basée sur cette classe)
-
The Timed Automata Model-Checker
-
A LaTeX package to easily create Simulink models with TikZ.
-
A parser for XPath with XQueryX XML output.