Descubrir y demostrar: un marco agente de código abierto para la demostración automática en modo difícil en Lean 4
Marco para demostración automática en modo difícil con Lean 4. ¡Desafía tus habilidades con esta herramienta avanzada! Aprende más sobre Lean 4 y su funcionalidad.