City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Лекция 1
Introduction to Coq

What: Lecture
When: Saturday, 21 September 2019, 15:30–17:00
Where: ПОМИ РАН

Video