Páginas con el menor número de revisiones
Abajo se muestran hasta 20 resultados entre el n.º 1 y el n.º 20.
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).
- R2 (1 revisión)
- Tema 6b: Verificación de la ordenación por mezcla (1 revisión)
- Tema 5: Razonamiento sobre árboles y bosques (1 revisión)
- Tema 4: Razonamiento por casos y por inducción (1 revisión)
- Tema 7b: Deducción natural proposicional con Isabelle/HOL (1 revisión)
- Página principal (1 revisión)
- R1 (1 revisión)
- Tema 1: Programación funcional y métodos elementales de demostración en Coq (1 revisión)
- Tema 1: Programación funcional en Isabelle (2 revisiones)
- Documentación" (2 revisiones)
- R5 (2 revisiones)
- Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL (2 revisiones)
- Tema 10: Caso de estudio: Compilación de expresiones (2 revisiones)
- R8 (2 revisiones)
- Tema 7: Definiciones inductivas en Coq (2 revisiones)
- R3 (2 revisiones)
- R7 (2 revisiones)
- Tema 11: Definiciones inductivas (2 revisiones)
- R4 (2 revisiones)
- R6 (2 revisiones)
Ver (20 anteriores | siguientes 20) (20 | 50 | 100 | 250 | 500).