Las siguientes páginas enlazan a Tema 2: Demostraciones por inducción sobre los números naturales en Coq: