主题 · coq-library

coq-library

标记 coq-library 主题、收录中的开源项目，按星标数排序。

项目数

3

总星标数

2,152

平均星标数

717

占比

0.00%

常跟 coq-library 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 coq-library 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
UniMath ↗@UniMathRocq Prover
这个 rocq 库旨在从单值化（univalent）观点将大量数学内容形式化。
★ 1,018-1近 7 天星标变化
#2
verdi ↗@uwplseRocq Prover
在 Coq 中形式化验证分布式系统实现的框架
★ 626+0近 7 天星标变化
#3
VST ↗@PrincetonUniversityRocq Prover
验证软件工具链 (Verified Software Toolchain)。
★ 508+0近 7 天星标变化

← 返回主题列表