5.1k

数学

Coq

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

6.8k

OCaml

FastView Compare

  2.7k

未分类

agda

Agda is a dependently typed programming language / interacti...

1.9k

Haskell

FastView Compare

  2.9k

未分类

FStar

Verification system for effectful programs

2.4k

F*

FastView Compare

  12.1k

Go

pan-light

百度网盘不限速客户端, golang + qt5, 跨平台图形界面

1.9k

Go

FastView Compare

  2.7k

未分类

Idris2

A dependently typed programming language, a successor to Idr...

2.1k

Idris

FastView Compare

  3.7k

编程语言、工具

Kind

现代证明语言。「A modern proof language」

2.2k

JavaScript

FastView Compare