Search: arend-lang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)

309 points

7 years ago

2.

Arend: A theorem prover based on Homotopy Type Theory (arend-lang.github.io)

3 points

7 months ago

3.

Arend Theorem Prover (arend-lang.github.io)

2 points

7 years ago

4.

Arend Programming Language (arend-lang.github.io)

1 point

4 years ago