@leandown/markdown-it
v0.0.14
Published
markdown-it plugin for syntax-highlighting Lean 4 code blocks via the Lean LSP
Downloads
907
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.
