news.volyx.in

Palomar: A registry of Lean verified mathematics (terrytao.wordpress.com)

174 points by matt_d · 8 days ago · 38 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.