OK, so now item 24 on this list of 100 theorems
http://www.cs.ru.nl/~freek/100/
has an *unconditional* formal proof:
https://github.com/flypitch/flypitch/releases/tag/2.0 …
You can read about it in this paper: https://github.com/flypitch/flypitch-itp-2019/releases/tag/1.1 …
#LeanProver
0 replies
5 proslijeđenih tweetova
28 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.