leanified/CoreReader.lean

返回主张速览 · 声明与证明

哲学 0.1.4 · 已考虑的 Core 0.1.4。阅读视图来自本仓库公开的目标清单、读者稿和 Lean 文件；页面布局不改变其中的判定。

展开 Lean 与逐行解读 · 1 行

Lean逐行解读

L1import CoreReader.Integration

导入CoreReader.Integration及其依赖。