Facto diario numero 48.
El famoso lenguaje de programacion Coq, creado por Thierry Coquand, cambió recientemente su nombre a “The Rocq Prover”. Malditos nerds 👺
Más
- Facto diario número 149: A vueltas con los permisos de Android
- Facto diario número 148: ¿De verdad “Hacienda se lleva 20 napos”?
- Facto diario 147: El grito "Wasaaaa" de Don Pollo y su origen en Scary Movie (2000)
- Facto diario número 146: Canon in D
- Facto diario número 144+1: El coste de la Estrella de la Muerte