开源序
GitHub 开源项目排行
返回榜单
V
vellvm /
vellvm
Vellvm (Verified LLVM) coq 开发。
仓库 Star
505
总榜 #61,454
Fork
44
最近推送
1 天前更新
仓库创建
2017 年创建
应用与完整系统
通用
LLVM
许可证未声明
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
项目原文 · GitHub
The Vellvm (Verified LLVM) coq development.
用之前确认
没有声明许可证：商用和分发条件无法确认，使用前请联系作者。
