Gallery — Instituto de Matemática e Estatística (IME-USP)

A template for theses, dissertations, and capstone projects at the Institute of Mathematics and Statistics (Instituto de Matemática e Estatística) - 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.