Open werner-balonius opened 2 months ago
这个已经翻译了 https://www.leanprover.cn/fp-lean-zh/next-steps.html