工作: 使用 Lean4 形式化数学竞赛题目的解题过程 需要会 Lean 和 mathlib
• 外包信息请发到 /go/outsourcing 节点。
• 不要把相同的信息发到不同的节点
This topic created in 508 days ago, the information mentioned may be changed or developed.
Select Language