Ver el código de «Tema 2: Demostraciones por inducción sobre los números naturales en Coq»
← Tema 2: Demostraciones por inducción sobre los números naturales en CoqNo tienes permiso para modificar esta página, por los siguientes motivos:
Puedes ver y copiar el código fuente de esta página.
Volver a Tema 2: Demostraciones por inducción sobre los números naturales en Coq.