Releases: uwplse/oeuf
Releases · uwplse/oeuf
Release version 1.0 of Oeuf
This is version 1.0 of the Oeuf verified compiler, for compiling verified systems written in Coq.
This is version 1.0 of the Oeuf verified compiler, for compiling verified systems written in Coq.