Sitnikovski B. Introduction to Dependent Types with Idris...2023

磁链地址复制复制磁链成功

如发现链接(DMCA)违规请在线举报

磁链详情

文件数目：3个文件
文件大小：6.17 MB
收录时间：2023-04-11
访问次数：1
相关内容：Sitnikovski Introduction Dependent Types with Idris 2023

文件meta

Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf
2.47 MB
Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf
2.4 MB
Sitnikovski B. Introduction to Dependent Types with Idris...2023.pdf
1.31 MB