Sorries no son lo difícil: revisión experta en formalización semiautónoma Descubre cómo la revisión experta reveló graves problemas en una formalización semiautónoma de un teorema clave, más allá de los 'sorries'. 2026-06-15 · 2 min
