Flypitch project paper, accepted to CPP (Certified Programs and Proofs) 2020
https://flypitch.github.io/assets/flypitch-cpp.pdf …
#Leanprover
14:17 - 27. stu 2019.
0 replies
0 proslijeđenih tweetova
3 korisnika označavaju 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.