search

Lean-zh / fp-lean-zh

Lean 函数式编程
https://www.leanprover.cn/fp-lean-zh/
Other
25 stars 7 forks source link

Interlude: Tactics, Induction, and Proofs和Next Steps的翻译 #30

Closed werner-balonius closed 2 months ago

werner-balonius commented 2 months ago

排版翻译已完成