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

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

1. (hist) ‎Tema 6: Lógica en Coq ‎[80 060 bytes]
2. (hist) ‎Relación 6 ‎[57 589 bytes]
3. (hist) ‎Tema 5: Tácticas básicas de Coq ‎[52 599 bytes]
4. (hist) ‎Relación 4 ‎[33 649 bytes]
5. (hist) ‎Relación 7 ‎[28 792 bytes]
6. (hist) ‎Tema 3: Datos estructurados en Coq ‎[28 608 bytes]
7. (hist) ‎Relación 8 ‎[26 545 bytes]
8. (hist) ‎Tema 1: Programación funcional y métodos elementales de demostración en Coq ‎[26 086 bytes]
9. (hist) ‎Tema 7b: Deducción natural proposicional con Isabelle/HOL ‎[25 608 bytes]
10. (hist) ‎Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL ‎[23 833 bytes]
11. (hist) ‎Tema 4: Polimorfismo y funciones de orden superior en Coq ‎[22 702 bytes]
12. (hist) ‎Relación 5 ‎[20 678 bytes]
13. (hist) ‎Tema 7: Definiciones inductivas en Coq ‎[18 128 bytes]
14. (hist) ‎R6 ‎[17 747 bytes]
15. (hist) ‎Tema 4: Razonamiento por casos y por inducción ‎[17 523 bytes]
16. (hist) ‎Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL ‎[16 659 bytes]
17. (hist) ‎Relación 3 ‎[16 015 bytes]
18. (hist) ‎Tema 12: Conjuntos, funciones y relaciones ‎[15 598 bytes]
19. (hist) ‎Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL ‎[13 938 bytes]
20. (hist) ‎Documentación ‎[12 616 bytes]

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