589689.xyz

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

  • 收录时间:2023-04-11 07:38:25
  • 文件大小:6MB
  • 下载次数:1
  • 最近下载:2023-04-11 07:38:25
  • 磁力链接:
立即下载 复制链接

文件列表

  1. Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf 2MB
  2. Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf 2MB
  3. Sitnikovski B. Introduction to Dependent Types with Idris...2023.pdf 1MB