Abajo se muestran hasta 9 resultados entre el n.º 1 y el n.º 9.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

1. (hist) ‎Tema 6: Lógica en Coq ‎[171 565 bytes]
2. (hist) ‎Tema 5: Tácticas básicas de Coq ‎[111 068 bytes]
3. (hist) ‎Tema 3: Datos estructurados en Coq ‎[65 006 bytes]
4. (hist) ‎Tema 4: Polimorfismo y funciones de orden superior en Coq ‎[54 621 bytes]
5. (hist) ‎Tema 1: Programación funcional y métodos elementales de demostración en Coq ‎[39 088 bytes]
6. (hist) ‎Tema 2: Demostraciones por inducción sobre los números naturales en Coq ‎[36 112 bytes]
7. (hist) ‎Demostración Asistida por Ordenador con Coq ‎[1587 bytes]
8. (hist) ‎Página principal ‎[1162 bytes]
9. (hist) ‎Acerca de ‎[62 bytes]

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).