项目描述 ：
Stabilna wersja alfa mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych dziwnych rzeczach.

高级语言：

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

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

创建时间： 2020-12-23T13:18:57Z
项目社区：https://github.com/wkolowski/CoqBookPL
开源协议：
下载