Páginas nuevas
- 12:54 15 jul 2018 SLC2018: Seminario de Lógica Computacional (2018) (hist) [282 bytes] Jalonso (discusión | contribuciones) (Página creada con «== Material para el seminario == * Temas: Teorías de los temas (incluyendo los ejercicios). * Documentación: Lecturas recomendadas. * Sistemas: Sistemas utili…»)
- 11:00 6 may 2018 Tema 5 (hist) [29 050 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="ocaml"> (* T5: Tácticas básicas *) Require Export T4_PolimorfismoyOS. (* ===================================================================== § La táctic...')
- 00:10 3 may 2018 Tema 4 (hist) [40 567 bytes] Jalonso (discusión | contribuciones) (Página creada con '<source lang="ocaml"> (* T4: Polimorfismo y funciones deo orden superior en Coq *) Require Export T3_Listas. (* ===============================================================...')