Formalizing Theorems with PVS

XIV Summer Workshop in Mathematics MAT/UnB, Brasília
Classes: January, 18 (Tuesday) and January, 20 (Thursday)

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.

Remarks:

Program and Material

Lecturers


All together