5.1k

数学

Coq

Coq 是一个正式的证明管理系统。 它提供了一种形式化的语言来编写数学定义、可执行算法和定理，以及用于机器检查证明的半交...

6.8k

OCaml

快速查看 比较

  3.1k

JavaScript

Oimo.js

Lightweight 3d physics engine for javascript

2.7k

JavaScript

快速查看 比较

  1.1k

未分类

cakeml

CakeML: A Verified Implementation of ML

2.1k

Standard ML

快速查看 比较

  2.9k

未分类

FStar

Verification system for effectful programs

2.4k

F*

快速查看 比较

研究工具

ACL2系统和社区书籍

由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th...

2.2k

Common Lisp

快速查看 比较