S sdiehl.github.io From Zero to QED: An informal introduction to formality with Lean 4 145 points rwosync 10 months ago 21 comments
