跳到主要内容
buildradar
Sign in
主题 · proofs

proofs

标记 proofs 主题、收录中的开源项目,按星标数排序。

项目数
3
总星标数
3,413
平均星标数
1,138
占比
0.00%

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

近期新秀

近 90 天内创建、标记 proofs 主题的项目。

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

  • 用于解决 Project Euler 问题的可执行代码,支持 Java、Python、Mathematica、Haskell。

    1,959-1近 7 天星标变化
  • aeneas@AeneasVerif

    适用于 Rust 程序的验证工具链

    948+17近 7 天星标变化
  • karamel@FStarLang

    KaRaMeL 是一款将底层 F* 程序转换为可读 C 代码的工具

    518+0近 7 天星标变化
← 返回主题列表