Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
arend-lang.github.io
309 points
adamnemecek
7 years ago
114 comments
Loading...
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains | Heykuki News