Certified Programming with Dependent Types http://adam.chlipala.net/cpdt/
09:25 - 12. srp 2019.
0 replies
2 proslijeđena tweeta
12 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.