Imports
/-
Copyright (c) 2026 Jonathan Prieto-Cubides. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
-/
import LeanBlog.Config
import LeanBlog.Icons
import LeanBlog.Links
import LeanBlog.Markdown
import LeanBlog.ThemeLeanBlog
The Lean-aware publishing framework built on top of Verso.
This foundation keeps declaration targets separate from rendering. The CLI populates the same index from Verso's generated cross-reference data, while callers can still provide explicit targets.
Public entry point
LeanBlog re-exports the small source and link model so a blog author can begin with one import.
The renderer and CLI will be layered on top of these values.