lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

doc: upstream the Lean4 pygments lexer

Open eric-wieser opened this issue 6 months ago • 5 comments

An improved lean4 lexer is now part of pygments.

This depends on https://github.com/pygments/pygments/pull/2618 (now merged), and a subsequent release

eric-wieser avatar Dec 30 '23 18:12 eric-wieser