Lean-zh/fp-lean-zh

Getting to Know Lean

Closed this issue · 1 comments

OlingCat commented
  • 翻译
  • 校对
edwardzcn-decade commented

Getting to Know Lean 翻译校对

两个URL链接翻译的状态不一致，以章节1.1为例1.1. 表达式求值和1.1. 求值表达式。

看起来lean.lookeng.cn域名下的翻译应该是先前版本，里面还带有一段无原文对照的翻译“它的本质是对下列语句进行证明：对于任意集合 S 和函数 f : S → ℝ，如果 f 是有界的......“，如果两个域名都在使用建议保持一致，CDN缓存的问题？