Hello all! Welcome to Coq's official Twitter!
We will share exciting news and events related to Coq; see https://github.com/coq/coq for the proper channels for bug reports or technical discussion.
This account is community-managed by @ejgallego, @falsenov, and @Zimm_i48. Have fun!
Odgovor korisnicima @CoqLang @scottfleischman i sljedećem broju korisnika:
Welcome to Twitter :)
16:36 - 27. sij 2020.
0 replies
0 proslijeđenih tweetova
5 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.