So the union proof is finished https://github.com/ImperialCollegeLondon/M4P33/blob/master/src/affine_algebraic_set/union.lean … but it is far too complex in places, and takes too long to compile. Perhaps issue #2 will help...
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.