Name Sitnikovski B. Introduction to Dependent Types with Idris...2023
File Type document
Size 6.17MB
UpdateDate 2024-11-23
hash *****A819AF28708D03BC206122A6906A63FD5F
Hot 1
Files Sitnikovski B. Introduction to Dependent Types with Idris...2023.pdf | 1.31MB Sitnikovski B. Introducing Software Verification...Dafny...2022.pdf | 2.40MB Sitnikovski B. Gentle Introduction to Dependent Types with Idris 2022.pdf | 2.47MB
