#zerotoqed — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #zerotoqed, aggregated by home.social.
-
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