Lean-zh 是一个自发组成的团体，旨在推动 Lean 在中文学术和编程社区的普及和应用。如果你对 Lean 感兴趣，对编写 Lean 教程、翻译官方文档、开发 Lean 项目，或者任何其他形式的贡献感兴趣，欢迎加入我们。 项目目标 翻译和校对：提供 Lean 定理证明器官方文档的 ...

Tiny Muskens zei ruim 25 jaar geleden als bisschop van Breda dat je best een brood mag stelen als je écht arm bent en honger hebt. Geldt dat ook voor het stelen van kerstbomen? Nee. Het valt ...