Arend - Arend Theorem Prover - discu.eu

Hacker News

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains https://arend-lang.github.io/ 114 comments 6/8/2019

Linking pages

GitHub - prathyvsh/pl-catalog: A catalog of programming languages https://github.com/prathyvsh/pl-catalog 17 comments

Related searches:

Search whole site: site:arend-lang.github.io

Search title: Arend - Arend Theorem Prover

See how to search.

Submit link to: