Lean code in LaTeX

Stream: general

[Ben W]

I'm having trouble getting LaTeX docs to compile with Lean code, can anyone point me towards any resources that go through setting up LaTeX for use with Lean code?

[Bjørn Kjos-Hanssen]

#general > ✔ LaTeX beamer @ 💬 (Despite the topic title, it is not just about Beamer)