Proof General: Emacs front end for proof assistants https://proofgeneral.github.io/ pic.twitter.com/EnbRqXhfk1
06:47 - 21. ruj 2016.
0 replies
18 proslijeđenih tweetova
27 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.