主题 · proof
proof
标记 proof 主题、收录中的开源项目，按星标数排序。
项目数
8
总星标数
7,074
平均星标数
884
占比
0.00%
相关主题
常跟 proof 一起出现在同一个项目上的主题。
近期新秀
近 90 天内创建、标记 proof 主题的项目。
近 90 天内还没有新项目标记这个主题。
- #1★ 1,836+2近 7 天星标变化
- #2
Rust 的形式化验证工具：检查程序 100% 的执行案例以打造更安全的应用程序。
★ 1,161+0近 7 天星标变化 - #3
一个先进的 SAT 求解器
★ 940+0近 7 天星标变化 - #4★ 698+2近 7 天星标变化
- #5
Agda 标准库
★ 675+0近 7 天星标变化 - #6★ 635+3近 7 天星标变化
- #7★ 625+0近 7 天星标变化
- #8★ 508+1近 7 天星标变化
