Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| teaching:cc7125 [2017/10/23 16:45] – etanter | teaching:cc7125 [2017/11/13 09:16] – etanter | ||
|---|---|---|---|
| Line 42: | Line 42: | ||
| * Oct 18: Hoare.v (hasta proof rule de SKIP) | * Oct 18: Hoare.v (hasta proof rule de SKIP) | ||
| * Oct 23: Hoare.v | * Oct 23: Hoare.v | ||
| - | * Oct 25: | + | * Oct 25: Hoare2.v (hasta Example: Parity) |
| - | * Oct 30: | + | * Oct 30: Hoare2.v |
| - | * Nov 6: | + | * Nov 1: //feriado// |
| - | * Nov 8: | + | * Nov 6: Smallstep.v (hasta normalizing) |
| + | * Nov 8: Smallstep.v | ||
| * Nov 13: | * Nov 13: | ||
| - | * Nov 15: | + | * Nov 15: JSCert (M. Bodin) |
| - | * Nov 20: | + | * Nov 20: JSCert (M. Bodin) |
| - | * Nov 22: | + | * Nov 22: Verificación de Programas Probabilísticos (F. Olmedo) |
| + | |||
| + | [[teaching: | ||
| ---- | ---- | ||