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

[rwosync]

Article URL: https://sdiehl.github.io/zero-to-qed/01_introduction.html

Comments URL: https://news.ycombinator.com/item?id=46259343

Points: 81

# Comments: 9