/HoTT-coq-homeworks

Homeworks for Coq seminars of ITMO HoTT course.

Primary LanguageCoq

This repository is not active