Eric Wieser f0471a519b doc: upstream the Lean4 pygments lexer (#3125) ...

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](https://github.com/pygments/pygments/milestone/23)

2024-05-20 11:40:24 +00:00

..

lstlean.tex

chore: fix more typos in comments

2023-10-08 14:37:34 -07:00