City: Санкт-Петербург Новосибирск Казань Language: Русский English

Лекция
Introduction to Coq


What: Lecture
When: Saturday, 21 September 2019, 15:30–17:00
Where: