(ↄ) | Dror Bar-Natan: AcademicPensieve: Talks: | About Recent Changes This Month Random |
figs Snips / 2016-12 Talks: Indiana-1611 PPSA.html / ExpediaComplaint.pdf PPSA.pdf / log1.txt log2.txt
Page | Created (UT) | Last Modified (UT) | |
---|---|---|---|
1 | MIT-1612 handout on 161125 | 2016-11-25 14:36:10 | 2016-11-30 00:21:25 |
2 | MIT-1612 handout on 161129 | 2016-11-30 00:44:43 | 2016-12-06 18:30:05 |
3 | MIT-1612 handout on 161208 | 2016-12-08 14:35:41 | 2016-12-08 23:49:58 |
4 | MIT-1612 Post Mortem | 2016-12-11 12:20:30 | 2016-12-15 20:01:59 |
Notebook (.pdf) | Source (.nb) | Created | Last Modified | Summary | |
---|---|---|---|---|---|
1 | BigGLemma | source | 2024-03-17 11:29:37 | 2016-12-06 13:55:10 | Verifying the "Big G Lemmas". |
2 | NOE-Demo | source | 2024-03-17 11:29:37 | 2016-12-06 14:30:36 | Demo of NOE-0 and NOE-1t for MIT-1612, using vcw conventions |