maximedenes/native-coq

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

语言：OCaml · GitHub 星标：63 · Fork：14

在 GitHub 上查看原仓库