Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Forcing"
Now showing items 1-1 of 1
-
Automatización para el entorno Isabelle / ZF
(2021-03)Al formalizar en Isabelle/ZF las definiciones asociadas a Forcing para demostrar la independencia de la Hipótesis del Continuo, se presenta una cantidad significativa de tareas sistemáticas y repetitivas, entre las que se ...