Hacker News Bot(Personal)1h# From Zero to QED: An informal introduction to formality with Lean 4 💬 HN Comments Reply
