close
Skip to main content

Questions tagged [latex]

Questions related to the typesetting system LaTeX and closely related subjects.

Filter by
Sorted by
Tagged with
3 votes
2 answers
127 views

I'm looking for language / tools that supports export lemma definition to LaTeX. This does not means just printing code with pretty(colored) style in code block. What I want is, for example, suppose ...
Lunuy's user avatar
  • 133
4 votes
1 answer
221 views

I am making Beamer slides for a talk about an Agda formalisation of mine. In order to make the code fit onto the slide, I need to scale the font size. One would think that this might not be so hard, ...
Astra Kolomatskaia's user avatar
30 votes
2 answers
3k views

The Natural Number Game suggests the possibility of rewriting mathematics textbooks with embedded interactive Lean code. I'm envisioning something like Google Colab or Mathematica, where you can ...
Jon Bannon's user avatar