Jean-Christophe Filliâtre
giving his keynote on "Deductive Verification of OCaml Libraries" https://ifm2019.hvl.no/keynotes/ with impressive live coding/proving during @iFMconf here at @hvl_no
pic.twitter.com/eJLpoMcqlr
07:48 - 5. pro 2019.
0 replies
2 proslijeđena tweeta
4 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.