#Calculemus: Teorema de Nicómaco. https://www.glc.us.es/~jalonso/calculemus/teorema-de-nicomaco/ … #DAO #IsabelleHOL #Matemáticas
-
Prikaži ovu nit
Demostración en Lean. https://www.glc.us.es/~jalonso/calculemus/teorema-de-nicomaco/#comment-11 …
12:14 - 1. velj 2020.
0 replies
0 proslijeđenih tweetova
1 korisnik označava da mu 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.