leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: general

Topic: Lean code in LaTeX


Ben W (Feb 13 2025 at 21:08):

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 (Feb 13 2025 at 21:55):

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


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll