Lean 3's obsolete mathematical components library: please use mathlib4
最近更新: 6天前This is an open-source project dedicated to providing a foundation of game theory concepts in Lean 4.
最近更新: 1年多前Solutions to Math in Lean. https://leanprover-community.github.io/mathematics_in_lean/
最近更新: 3年多前