This seminar is a continuation of the course "Software foundations in Coq," and its main objective is to provide a forum for presenting and discussing a wide range of topics related to program certification in the Coq proof assistant.
- Teacher: Dariusz Biernacki