Tema

Demostraciones

1 texto sobre este tema. Todos los temas

Concrete ¿Puedo probar programas de Concrete en Lean? La hoja de ruta original para probar programas de Concrete en Lean, actualizada ahora que parte de ese puente existe: contratos en el código fuente, obligaciones de prueba, evidencia verificada por Lean, detección de pruebas desactualizadas y una base trusted explícita. 12 mar 2026 · 11 min