-
Ensayo
Resolver el fútbol como si fuera ajedrez
El fútbol europeo optimizó lo medible y convergió en un monocultivo. Sobre la varianza, el uno contra uno, los bloques bajos y el peligro de optimizar indicadores indirectos.
-
Demostración de teoremas
Tus primeras demostraciones en Lean
Los mismos tres teoremas del demostrador en Python, ahora en Lean 4.