pirapira/coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

语言：OCaml · GitHub 星标：226 · Fork：10

在 GitHub 上查看原仓库