vyorkin.org
эбаут
записки
|
en
de
= Coq
октября 31, 2021
Заметки про типы в Coq (WIP)