f0471a519b
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) |
||
|---|---|---|
| .. | ||
| lstlean.tex | ||