From Zero to QED: An informal introduction to formality with Lean 4

(sdiehl.github.io) by rwosync | Dec 13, 2025 | 0 comments on HN