Coq2RustCoq to Rust程序提取
認領(lǐng)
0粉絲
Coq提取為Rust程序，采用OCaml實現(xiàn)。代碼數(shù)基于原生Co代碼。從input.v文件，可查看提取Coq條件示例。嘗試：$?./configure?-local$?./compile.sh提取示例代碼：enum?Empty_set<>?{}enum?Unit<>?{?Tt
簡介
Coq提取為Rust程序，采用OCaml實現(xiàn)。代碼數(shù)基于原生Co代碼。從input.v文件，可查看提取Coq條件示例。嘗試：$?./configure?-local$?./compile.sh提取示例代碼：enum?Empty_set<>?{}enum?Unit<>?{?Tt... 更多
技術(shù)信息
開源協(xié)議
GPLv2
操作系統(tǒng)
跨平臺
軟件類型
開源軟件
所屬分類
程序開發(fā)、 其他開發(fā)相關(guān)
開源組織
無
地區(qū)
不詳
適用人群
未知
評價
0.0（滿分 10 分）0 個評分
什么是點評分
圖片
表情
全部評價(
0)
推薦率
100%