news.volyx.in

From Zero to QED: An informal introduction to formality with Lean 4 (sdiehl.github.io)

145 points by rwosync · 222 days ago · 21 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.