Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
teaching:cc7125 [2017/10/02 18:55] – etanter | teaching:cc7125 [2022/05/16 19:21] (current) – etanter | ||
---|---|---|---|
Line 17: | Line 17: | ||
====== Recursos ====== | ====== Recursos ====== | ||
- | Download {{teaching: | + | * Download {{teaching: |
- | + | * Download {{teaching:cc7125:plf-full.zip|Volume | |
- | ==== Trail 2017/2 ==== | + | |
- | * Jul 31: slides " | + | |
- | * Aug 2: Basics.v (ver últimos ejercicios en auxiliar) | + | |
- | * Aug 7: Induction.v, | + | |
- | * Aug 9: Lists.v (final), Poly.v (dejando higher-order/ | + | |
- | * Aug 14: Tactics.v | + | |
- | * Aug 16: Logic.v (hasta True) | + | |
- | * Aug 21: Logic.v (hasta fun_ext) | + | |
- | * Aug 23: Logic.v (//clase corta por paro//) | + | |
- | * Aug 28-30: //no hay clases// | + | |
- | * Sep 4: IndProp.v (hasta regexp - el resto queda para auxiliar) | + | |
- | * Sep 6: ProofObjects.v | + | |
- | * Sep 11: IndPrinciples.v (rápido) e introducción a programación con tipos dependientes (deptypes.v) | + | |
- | * Sep 13: Imp.v (hasta antes de " | + | |
- | * //< | + | |
- | * Oct 2: Imp.v (hasta ceval_example2) | + | |
---- | ---- |