jbz @jbz@indieweb.social 路 activity timestamp 3 days ago 馃憠 From Zero to QED: An informal introduction to formality in Lean 4 https://sdiehl.github.io/zero-to-qed/ #lean4 #plt #formal Read more Read less Translate From Zero to QED From Zero to QED: An informal introduction to formality in Lean 4 An informal introduction to formality in Lean 4 Reply Boost Quote You cannot quote this post Like More actions Copy link Flag this post Block
