Last week the 6th annual Coq for Programming Languages workshop (CoqPL) took place as a part of @poplconf in New Orleans. Thanks to the great work of the organizers full videos of all the talks are already available online https://www.youtube.com/playlist?list=PLyrlk8Xaylp4-Ed1b4Vk57Fzx0aa95-Ag … #POPL2020
0 replies
5 proslijeđenih tweetova
15 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.