SUMMARY 至 acknowledgments 翻译完毕 - Githubissues

Lean-zh / fp-lean-zh

Lean 函数式编程

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

Other

25 stars 7 forks source link

SUMMARY 至 acknowledgments 翻译完毕 #3

Closed OlingCat closed 4 months ago

OlingCat commented 4 months ago

SUMMARY
title
introduction
acknowledgments

翻译完毕