New top story on Hacker News: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

August 07, 2019 0

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains
4 by adamnemecek | 0 comments on Hacker News.

No comments

Subscribe to: Post Comments ( Atom )