@leandown/remark
v0.0.15
Published
remark plugin for syntax-highlighting Lean 4 code blocks via the Lean LSP
Readme
remark-lean
A remark plugin that provides Verso-like features.
Quick start
You need Lean installed.
import { remark } from "remark";
import remarkHtml from "remark-html";
import remarkLean from "@leandown/remark";
const html = await remark()
.use(remarkLean)
.use(remarkHtml, { sanitize: false })
.process(markdown);Then, include the runtime in your page to activate hover behavior.
import { leanHydrate } from "@leandown/core/runtime";
leanHydrate();Default styles are shipped in @leandown/core/lean.css.
See examples in examples.
