Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP.
Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.
Know the LaTeX command you want to use but can't remember how to write it?
Here we present a great tips sheet produced by Dave Richeson; it's pre-loaded in Overleaf so you can see how the commands work instantly.
Simply click on the button above to open a version in Overleaf for editing (and to quickly copy and paste the commands you need!).
For more comments visit this page on Dave's site, or if you'd like to work through a fuller introduction to LaTeX why not check out our free online course?