All Categories → No Category → synchronous-language

Top 1 synchronous-language open source projects

A Lustre compiler in Coq

✭ 48

Coq ocaml coq-formalization lustre compcert synchronous-language

1-1 of 1 synchronous-language projects