news.volyx.in

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)

309 points by adamnemecek · 2631 days ago · 114 comments on HN

The AI summary for this story hasn't been generated yet — it's produced hourly. Check back soon. Meanwhile, read the discussion on HN.