Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
0updated
-
0updated
-
0updated
-
Francois THIRE / dktactics
Dependently-typed tactics and certificate checking in Meta Dedukti
0updated -
Raphael CAUDERLIER / dktactics
Dependently-typed tactics and certificate checking in Meta Dedukti
0updated -
Simon HALFON / gouter
Fichiers .ml pour le gouter des doctorants.
0updated -
0updated
-
Francois THIRE / LFMT
A formalization of lambda-pi modulo theory without rewrite rules.
0updated -
0updated
-
1updated
-
0updated
-
Yann Duplouy / pointavancement
Une classe LaTeX pour rédiger des «points d'avancement» plus jolis que la classe article (mais basée sur cette classe)
0updated -
Maximilien COLANGE / tiamo
The Timed Automata Model-Checker
2updated -
Yann Duplouy / tikz-simulink
A LaTeX package to easily create Simulink models with TikZ.
-
Sylvain Schmitz / XPath Parser
A parser for XPath with XQueryX XML output.
0updated