Courses

Soon

Tutorials

Mechanizing Mathematics

Tutorial for Universidad Nacional de Colombia - Sede Manizales, Facultad de Ciencias Exactas y Naturales, 2023.

Formalizing Theorems with PVS

Tutorial for XIV Summer Workshop in Mathematics MAT/UnB, Brasília, 2022.

Formalização de Teoremas em Assistentes de Prova (in Portuguese)

Tutorial for XXIX Semana do IME/UFG e VI Seminário de Pesquisa e Pós-Graduação do IME/UFG (Edição Virtual), 2021.