abderrahim-lectures/lean4-learning

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 · GitHub 星标：5 · Fork：0

话题：abstract-algebra · category-theory · lean4 · mathematics · mathlib · proof-assistant · textbook

在 GitHub 上查看原仓库