minted with Lean 3

Stream: general

[Eric Wieser]

Though if you have an old version of pygments, or want to customize it, you can just put a copy of theorem.py in your latex directory and pass some extra flags to minted in the same way as presumably the Lean 4 instructions do