Nivel 7
Completitud en Lean (experto)
La formalización completa del teorema de completitud: cada definición y cada lema, en matemática y en Lean, lado a lado.
Adaptado de: Capítulo: Teorema de la completitud.
Nivel 7
La formalización completa del teorema de completitud: cada definición y cada lema, en matemática y en Lean, lado a lado.
Adaptado de: Capítulo: Teorema de la completitud.