Sumários
Aula #27
28 maio 2015, 09:30 • Carlos Caleiro
Panorâmica do sistema Coq (apresentação da aluna Sílvia Reis).
Aula #25
21 maio 2015, 09:30 • Carlos Caleiro
Tipos dependentes (apresentação do aluno Bernardo Lopo).
Aula #24
20 maio 2015, 10:00 • Carlos Caleiro
Tipos dependentes (apresentação do aluno Daniel Oliveira).
Aula #23
14 maio 2015, 09:30 • Carlos Caleiro
Sequentes e eliminação do corte (apresentação do aluno Pedro Filipe).