Differences

This shows you the differences between two versions of the page.

--- teaching:cc7125 [2022/05/16 22:21] – etanter
+++ teaching:cc7125 [2024/05/22 15:50] (current) – etanter
@@ Line 14: / Line 14: @@
 Ver el {{teaching:cc7125:programa-coq.pdf|programa del curso}}.
-----
-====== Recursos ======
-    * Download {{teaching:cc7125:lf-full.zip|Volume 1: Logical foundations}}.
-    * Download {{teaching:cc7125:plf-full.zip|Volume 2: Programming languages foundations}}.
 ----
 **Curso válido para carreras del DCC:** Doctorado en Computación, Magíster en Ciencias de la Computación, Ingeniería Civil en Computación\\