Tool to write report

Stream: general

[Xuan Huang]

I want to write report for a lean project. And I want to show some codes in the report. I currently use word, but it is not convenient. What tools should I use? thanks!

[Logan Murphy]

You probably want to use Latex, for which there is support for Lean code listings (here)

[Logan Murphy]

If you don't have Tex/Latex already set up on your computer, you can use Overleaf

[Kevin Buzzard]

My students used overleaf and minted (instead of listings) and this seems to work better (there are issues with listings and modern versions of LaTeX)