PrincetonUniversity/VST
@PrincetonUniversity验证软件工具链 (Verified Software Toolchain)。
星数
508
Fork 数
104
语言
Rocq Prover
许可
NOASSERTION
最后推送
6天前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
验证软件工具链 (Verified Software Toolchain)。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。