Can you prove that equivalence classes for an equivalence relation are non-empty in Lean? New Lean maths challenge at http://tinyurl.com/LeanMathsChallenges … #leanprover
0 replies
1 proslijeđeni tweet
12 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.