search

Lean-zh / fp-lean-zh

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

Fix, ch4 translate all finish. #31

Closed lunaticabs closed 5 months ago

lunaticabs commented 5 months ago

Fix, ch4 translate all finish.