From Zero to QED: An informal introduction to formality with Lean 4sdiehl.github.io145 points·by rwosync·7 เดือนที่ผ่านมา·21 comments