LEAN-GitHub: un conjunto de datos a gran escala para avanzar en la demostración automatizada de teoremas
La demostración de teoremas en matemáticas se enfrenta a desafíos cada vez mayores debido a la creciente complejidad de las pruebas. Los sistemas formalizados como Lean, Isabelle y Coq ofrecen…