3 ms·Arend: A theorem prover based on Homotopy Type Theory3 points by fanf2 1y agognabgib 1y agoPopular in 2019 (309 points, 114 comments) https://news.ycombinator.com/item?id=20630319 https://news.ycombinator.com/item?id=20630319