velus

A Lustre compiler in Coq

GitHub

57 stars
10 watching
6 forks
Language: Coq
last commit: about 1 year ago
compcertcoq-formalizationlustresynchronous-language

Screenshot of INRIA/velus website

velus.inria.fr