Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
teaching [2019/04/01 14:10] – etanterteaching [2020/02/10 12:07] – [Courses] folmedo
Line 7: Line 7:
   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]   * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]   * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]
 +  * [[teaching:CC5115|Programación Funcional (CC5115)]]