#Lean and Toric

一个仓库，三个分支，三项任务：

• main 分支实践 teachme SKILL，收集学习资料，生成练习题，学习 lean4 语言。
• toric 分支实践，为我正在研究的领域生成相关形式化证明。
• prove2me 分支，将我的证明公布到公共知识平台。