news.volyx.in

Lean Book: The Hitchhiker's Guide to Logical Verification [pdf] (github.com)

177 points by kevinbuzzard · 2375 days ago · 19 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.