All Categories → No Category → coq-formalization

Top 1 coq-formalization open source projects

A Lustre compiler in Coq

✭ 48

Coq ocaml coq-formalization lustre compcert synchronous-language

1-1 of 1 coq-formalization projects