A review of the Lean theorem prover. ~ Thomas Hales. https://jiggerwit.wordpress.com/2018/09/18/a-review-of-the-lean-theorem-prover/ … #ITP #LeanProver
0 replies
2 proslijeđena tweeta
7 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.