Interactively Proving Mathematical Theorems

Class Dates: February 11 (Tuesday) - 13 (Thursday)
Class Location: LINF, Summer Workshop on Mathematics - UnB, Brasília

Prerequisites

• PVS
• PVS NASA Libraries
• Emacs Basics

Program

• Section 1: 16:30-18:15, Tuesday February 11, 2020
• Section 2: 16:30-18:15, Wednesday February 12, 2020
• Section 3: 14:00-16:00, Thursday February 13, 2020
• Section 4: 16:30:18:15, Thursday February 13, 2020

Lecturers

• Thaynara Arielly de Lima (UFG)
• Mauricio Ayala-Rincón (UnB)

Assistants