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? 已存檔? 是復刻? 已鎖定? 是鏡像? 是私有?