Mechanizing Mathematics

Universidad Nacional de Colombia, Sede Manizales
Facultad de Ciencias Exactas y Naturales
Classes: May, 29 (Monday) - June, 02 (Friday), 2023

General information

We are going to use the proof assistant PVS (versão 7.1) embeeded on the VS-Code software (VSCode-PVS IDE).
The instalation of PVS is not mandatory for the classes, however we encourage the participants install
the system in their machines in order to work on the exercises.


Program and Material


All together