Tabled typeclass resolution. ~ D. Selsam, S. Ullrich, L. de Moura. https://arxiv.org/abs/2001.04301 #ITP #LeanProver
09:01 - 20. sij 2020.
0 replies
2 proslijeđena tweeta
2 korisnika označavaju 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.