End-to-end Lean 4 formalization of infinite-dimensional, two-generated nil algebras of GK dimension two over arbitrary fields, solving the critical-dimension case of the quantitative Kurosh problem.
Lean Updated 14 days ago 1 commits
quark-coder|Mirror: DongzheZheng/Kurosh-Problem-at-GK-Dimension-Two (⭐0)
14 days agoAbout
End-to-end Lean 4 formalization of infinite-dimensional, two-generated nil algebras of GK dimension two over arbitrary fields, solving the critical-dimension case of the quantitative Kurosh problem.
Readme