Comments 1
В Тему: книга Type Theory and Formal Proof (в ней широко употребляется Coq), взято отсюда https://habr.com/ru/post/483592/comments/#comment_21144648 (осторожно 1985 комментариев).
+1
Sign up to leave a comment.
В Тему: книга Type Theory and Formal Proof (в ней широко употребляется Coq), взято отсюда https://habr.com/ru/post/483592/comments/#comment_21144648 (осторожно 1985 комментариев).
Мой путь к Magmide