Lean是一种函数式编程语言，它使编写正确和可维护的代码变得容易。 和可维护的代码。你也可...
机器学习是教计算机学习的做法。这个概念使用模式识别，以及其他形式的预测算法，对传入的数据进...
Coq是一个形式化证明管理系统。它提供了一种形式化语言来编写 数学定义、可执行算法和定理的...
数据库是一个结构化的数据集，保存在一台计算机中，最常见的是服务器。数据库使用一个与用户互动...
SQL是结构化查询语言的缩写。它使用诸如 "选择"、"插入"、"更新"、"删除 "等命令。...
Lean 4编程语言和定理检验器
精益数学组件库
Cosette是一个自动SQL解算器。
随机计算图上的无缺陷机器学习