Hacker News

rwosync
From Zero to QED: An informal introduction to formality with Lean 4 sdiehl.github.io

oersted16 minutes ago

The motivation itself is quite fresh and compelling even as a standalone article.

https://sdiehl.github.io/zero-to-qed/02_why.html

hn-front (c) 2024 voximity
source