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:cc71y:2014-2 [2014/11/05 15:44] – etanterteaching:cc71y:2014-2 [2014/11/05 15:44] – etanter
Line 39: Line 39:
 | M 5 Nov  |Lambda-cube||| | M 5 Nov  |Lambda-cube|||
 |          |Intro a Coq||{{teaching:cc71y:Vectors.v}}| |          |Intro a Coq||{{teaching:cc71y:Vectors.v}}|
-| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]]|||+| 10/12 Nov  |//estudio personal: capítulos Basics, Induction, Lists, Poly, Logic del [[http://www.cis.upenn.edu/~bcpierce/sf/current/index.html|Software Foundations]] //|||
 | L 17 Nov  |||| | L 17 Nov  ||||
 | M 19 Nov  |||| | M 19 Nov  ||||