# Tutorial 02 – Induction and LaTeX
This tutorial will cover a few examples of inductive proofs, and showcase some basic LaTeX usage, as well as some basic information on using `lhs2tex` to convert your .lhs files to .tex files, then using `pdflatex` to convert your .tex files into final pdf files.
#### Resources:
* [Overleaf](https://www.overleaf.com/) — Great web-based application for playing around with LaTeX
* [lhs2tex documentation](https://hackage.haskell.org/package/lhs2tex-1.24/src/doc/Guide2.pdf) — Contains usage and installation information
* [VSCode LaTeX Language Support](https://marketplace.visualstudio.com/items?itemName=torn4dom4n.latex-support) — LaTeX Syntax highlighting!!!