Páginas cortas
Abajo se muestran hasta 9 resultados entre el n.º 1 y el n.º 9.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- (hist) Acerca de [62 bytes]
- (hist) Página principal [1162 bytes]
- (hist) Demostración Asistida por Ordenador con Coq [1587 bytes]
- (hist) Tema 2: Demostraciones por inducción sobre los números naturales en Coq [36 112 bytes]
- (hist) Tema 1: Programación funcional y métodos elementales de demostración en Coq [39 088 bytes]
- (hist) Tema 4: Polimorfismo y funciones de orden superior en Coq [54 621 bytes]
- (hist) Tema 3: Datos estructurados en Coq [65 006 bytes]
- (hist) Tema 5: Tácticas básicas de Coq [111 068 bytes]
- (hist) Tema 6: Lógica en Coq [171 565 bytes]
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).