(Virtually) attending the amazing PhD defense of @Zimm_i48, including a wide range of proposals to improve pull request conformity and release management; and mitigate the unresponsive contributor risk, with applications in the #coq proof language ecosystem!
07:33 - 12. pro 2019.
0 replies
1 proslijeđeni tweet
2 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.
Associate Professor (HDR) @ Bordeaux INP
➜
Researcher @ LaBRI (Head of the Software Engineering group)