Hacker NewsDec 19

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

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

#HackerNews #ZeroToQED #Lean4 #Introduction #Formality #Programming

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

An informal introduction to formality in Lean 4

From Zero to QED