5.1k 数学 Coq Coq 是一个正式的证明管理系统。 它提供了一种形式化的语言来编写数学定义、可执行算法和定理，以及用于机器检查证明的半交... 6.5k OCaml FastView Compare
3.1k JavaScript Oimo.js Lightweight 3d physics engine for javascript 2.6k JavaScript FastView Compare
研究工具 ACL2系统和社区书籍 由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th... 2k Common Lisp FastView Compare
