repeat {rw pow_zero},
ring,
#leanprover
@MSFTResearch
The natural number game.
http://tinyurl.com/natgame1234
19:20 - 1. stu 2019.
0 replies
0 proslijeđenih tweetova
6 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.