= Coq

• октября 31, 2021 Заметки про типы в Coq (WIP)