Description
Compiles Lustre synchronous programs with the Velus compiler for research and verified systems work. Developers use it from the terminal in formal-methods workflows; generated code and proofs should be reviewed before safety-critical use.