Reminder to check out this recap of the POPLmark Retrospective Panel. I talk a lot about how the PL community can learn from this panel, even beyond the proof engineering community!https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ …
0 replies
7 proslijeđenih tweetova
18 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.