New top story on Hacker News: Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains Posted By: Rushan Skywalker 10:05 PM Leave a Reply Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains 4 by adamnemecek | 0 comments on Hacker News. Tweet Share Share Share Share
0 comments: