Agda User Manual v2.6.28980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 Correct-by-construction Programming in Agda [https://github.com/jespercockx/ohrid19- agda]0 码力 | 348 页 | 414.11 KB | 1 年前3- Agda User Manual v2.6.2.28980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 Correct-by-construction Programming in Agda [https://github.com/jespercockx/ohrid19- agda]0 码力 | 354 页 | 433.60 KB | 1 年前3
- Agda User Manual v2.6.2.18980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 Correct-by-construction Programming in Agda [https://github.com/jespercockx/ohrid19- agda]0 码力 | 350 页 | 416.80 KB | 1 年前3
Agda User Manual v2.6.28980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 255 页 | 1.13 MB | 1 年前3- Agda User Manual v2.6.2.28980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 257 页 | 1.16 MB | 1 年前3
- Agda User Manual v2.6.2.18980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 255 页 | 1.14 MB | 1 年前3
- Agda User Manual v2.6.38980), courses on homotopy type theory and cubical type theory, Favonia, the University of Minnesota, Spring 2020 Correct-by-construction Programming in Agda [https://github.com/jespercockx/ohrid19- agda]0 码力 | 379 页 | 354.83 KB | 1 年前3
- Agda User Manual v2.6.3courses on homotopy type theory and cubical type theory, Favo- nia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 288 页 | 1.24 MB | 1 年前3
- Agda User Manual v2.6.4.1courses on homotopy type theory and cubical type theory, Favo- nia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 311 页 | 1.38 MB | 1 年前3
- Agda User Manual v2.6.4.3courses on homotopy type theory and cubical type theory, Favo- nia, the University of Minnesota, Spring 2020 • Correct-by-construction Programming in Agda, a course at the EUTYPES Summer School ‘19 in0 码力 | 311 页 | 1.38 MB | 1 年前3
共 12 条
- 1
- 2