Lean + IA: verificación formal entra al flujo cotidiano
Asistentes de prueba basados en LLM aceleraron bibliotecas Lean; matemáticos adoptaron flujos híbridos humano–máquina.
1 artículos
Formal methods
Índice de etiquetas editoriales y cobertura filtrada.