Getting to Know Lean

[OlingCat]

• [x] 翻译
• [x] 校对

[edwardzcn-decade]

Getting to Know Lean 翻译校对

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

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