Введение в Coq (практика)

Среда, 03 марта 2021
Онлайн, занятие в zoom