HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
arend-lang.github.io
114 comments
7 years ago
adamnemecek
309 points
2.
▲
Arend: A theorem prover based on Homotopy Type Theory
arend-lang.github.io
1 comment
7 months ago
fanf2
3 points
3.
▲
Arend Theorem Prover
arend-lang.github.io
discuss
7 years ago
colinprince
2 points
4.
▲
Arend Programming Language
arend-lang.github.io
discuss
4 years ago
revskill
1 points