discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
https://arend-lang.github.io/
114 comments
6/8/2019
Reddit
JetBrains releases first version of the language for its Arend theorem prover. "Arend is based on a version of homotopy type theory that includes some of the cubical features."
https://groups.google.com/forum/#!topic/homotopytypetheory/rf6yjb5omj0
47 comments
7/8/2019
programming