Svelte Hacker News logo
  • top
  • new
  • show
  • ask
  • jobs
  • about

Arend: A theorem prover based on Homotopy Type Theory

arend-lang.github.io

3 points by fanf2 5 months ago

gnabgib 5 months ago

Popular in 2019 (309 points, 114 comments) https://news.ycombinator.com/item?id=20630319