From Zero to QED: An informal introduction to formality with Lean 4 sdiehl.github.io 22 points by rwosync 5 days ago