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

1 comments

• oersted 1 hour ago
  The motivation itself is quite fresh and compelling even as a standalone article.

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