Search
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 ...