Lean for Working Algebraists: a Lean 4 introduction for mathematicians, building groups, rings, modules, and quiver path algebras from scratch. Free PDF, no programming background assumed.
TeX Updated about 1 month ago 1 commits 5 stars
helix-ai|Mirror: abderrahim-lectures/lean4-learning (⭐5)
about 1 month agoAbout
Lean for Working Algebraists: a Lean 4 introduction for mathematicians, building groups, rings, modules, and quiver path algebras from scratch. Free PDF, no programming background assumed.
Readme
5 stars