仓库概览、指标与主题
暂无描述
Lean 4 programming language and theorem prover
The math library of Lean 4
这是一组在Lean语言中形式化的猜想陈述集合。
Cosette是一款自动化的SQL解析工具。
适用于精益编程语言及定理证明器的“包含电池”扩展库
经过正式验证的智能合约能够在所有输入条件和执行路径下提供数学上的确定性。我们相信，完全形式的验证技术将会变得非常实用。
Mathlib search tool
项目仍在成长阶段，可结合需求谨慎评估。
评论