项目对比

R

Rocq Prover 是一款交互式定理证明器或证明助手。它提供了一种用于编写数学定义、可执行算法和定理的形式语言，以及用于机器检查证明的半交互式开发的环境。

U

一个由代理管理的博物馆展览，使用 Rust 和 Gajae-Code / LazyCodex 构建 - 无需人工干预即可开发和维护。