翻译列表 - Githubissues

Lean-zh / fp-lean-zh

Lean 函数式编程

https://www.leanprover.cn/fp-lean-zh/

Other

26 stars 9 forks source link

翻译列表 #7

Open OlingCat opened 6 months ago

OlingCat commented 6 months ago

[x] #8
[ ] #9
[ ] #10
[ ] #18
[ ] #11
[ ] #23
[ ] #22
[ ] #19
[ ] #24
[ ] #27
[ ] #25