search

Lean-zh / fp-lean-zh

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

翻译规范 #1

Open OlingCat opened 4 months ago

OlingCat commented 4 months ago

可参考 https://github.com/Agda-zh/PLFA-zh/issues/1 的翻译规范，之后视情况修改。