LaTeX templates and examples — Instituto de Matemática, Estatística e Ciência da Computação (IME-USP)

A template for theses, dissertations, and capstone projects at the Institute of Mathematics, Statistics, and Computer Science (Instituto de Matemática, Estatística e Ciência da Computação) - University of São Paulo. License: MIT (code) and CC-BY 4.0 (text) https://gitlab.com/ccsl-usp/modelo-latex/

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.