Lélio Brun's homepage
Lélio Brun's homepage
About
Publications
Talks
Projects
Experience
Teaching
Academic service
Contact
CV
Light
Dark
Automatic
Projects
LustreC
A prototype compiler for Lustre, with verification abilities and certifying compilation in mind.
Vélus
A prototype compiler for Lustre, verified in
Coq
.
Obelisk
A tool to pretty-print ($\LaTeX$)
Menhir
grammars.
Cite
×