native-coq software on GitHub

Software OPEN SOURCE

Coq with native compilation, as well as machine integers and arrays !
Share - Bookmark