项目描述 ：
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.

高级语言： Coq

项目主页： https://wkolowski.github.io/Typonomikon

项目地址: git://github.com/wkolowski/Typonomikon.git

创建时间： 2017-09-07T07:47:49Z
项目社区：https://github.com/wkolowski/Typonomikon
开源协议：
下载