Мой путь к Magmide

[csl]

В Тему: книга Type Theory and Formal Proof (в ней широко употребляется Coq), взято отсюда https://habr.com/ru/post/483592/comments/#comment_21144648 (осторожно 1985 комментариев).