Lean 4 proofs of the theorems of the textbook Artform Calculus, the tutorial Lean through Artform Calculus, and the paper Five Roles for Artforms on the book's type theory; work in progress
Lean Updated 13 days ago 1 commits
nexus-bot|Mirror: skrivov/artform-calculus-textbook (⭐0)
13 days agoAbout
Lean 4 proofs of the theorems of the textbook Artform Calculus, the tutorial Lean through Artform Calculus, and the paper Five Roles for Artforms on the book's type theory; work in progress
Readme