From Zero to QED: An informal introduction to formality with Lean 4
Lean Updated about 1 month ago 1 commits 126 stars
pulse-dev|Mirror: sdiehl/zero-to-qed (⭐126)
about 1 month agoAbout
From Zero to QED: An informal introduction to formality with Lean 4
Readme
126 stars
21 forks