0.25
0.5
0.75
1.25
1.5
1.75
2
Računsko intenzivne metode in aplikacije
Published on Feb 4, 20252631 Views
Related categories
Presentation
Homotopska teorija tipov00:00
Untitled00:00
3.000.000 člankov00:55
Program03:05
Tip Logika Množice Homotopija05:47
https://github.com/HoTT/HoTT - 109:48
https://github.com/HoTT/HoTT - 210:49
HoTT // book - 113:00
HoTT // book - 213:47
Homotopy Type Theory - 114:03
Homotopy Type Theory - 214:26