leanified/CoreReader.lean
Back to claims · Declarations and proofs
Philosophy 0.1.4 · considered Core 0.1.4. This view uses the repository’s public target catalog, readers and Lean files. Presentation does not change their judgments.
Expand Lean and line explanations · 1 lines
LeanLine explanation
L1import CoreReader.IntegrationImports CoreReader.Integration and its dependencies into this module.