coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Github星跟踪图
主要指标
- 概览
-
名称与所有者 pirapira/coq2rust 主编程语言 OCaml 编程语言 Emacs Lisp (语言数: 10) 平台 许可证 GNU Lesser General Public License v2.1 - 所有者活动
-
创建于 2014-12-14 18:59:53 推送于 2014-12-24 20:13:50 最后一次提交 发布数 0 - 用户参与
-
星数 225 关注者数 15 派生数 10 提交数 16.7k 已启用问题? 问题数 5 打开的问题数 5 拉请求数 0 打开的拉请求数 0 关闭的拉请求数 0 - 项目设置
-
已启用Wiki? 已存档? 是复刻? 已锁定? 是镜像? 是私有?