Hacker News
- Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains https://arend-lang.github.io/ 114 comments
Linking pages
Related searches:
Search whole site: site:arend-lang.github.io
Search title: Arend - Arend Theorem Prover
See how to search.