LeanSearch v2: Recuperación Global de Premisas para la Demostración de Teoremas en Lean 4 LeanSearch v2 ofrece recuperación global de premisas para demostraciones en Lean 4. Acelera tus pruebas con búsqueda inteligente de teoremas. 2026-05-14 · 3 min
