Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
teaching:cc71y:2014-2 [2014/11/19 23:40] – etanterteaching:cc71y:2014-2 [2014/11/20 00:05] (current) – etanter
Line 42: Line 42:
 | L 17 Nov  |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching:cc71y:CC71-1.v}}| | L 17 Nov  |Interprete de expresiones y máquina de stack en Coq|CPDT 2.1|{{teaching:cc71y:CC71-1.v}}|
 | M 19 Nov  |Compilador y demostración de correctitud|CPDT 2.1|{{teaching:cc71y:CC71-2.v}}| | M 19 Nov  |Compilador y demostración de correctitud|CPDT 2.1|{{teaching:cc71y:CC71-2.v}}|
 +| M 3 Dec | [[teaching:cc71y:2014-2:miniconf|Mini-conferencia]] |||