![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lean/ | 2018-02-17 21:38 | - | |
![]() | lec12.pdf | 2017-11-22 08:54 | 121K | |
![]() | coq/ | 2017-10-31 23:06 | - | |
![]() | materials.html | 2017-10-23 08:39 | 740 | |
![]() | lambda_calc.lean | 2017-10-23 08:39 | 13K | |
![]() | jrw-lc-notes.pdf | 2017-10-23 08:39 | 345K | |
![]() | coqdoc.css | 2017-10-23 08:39 | 6.0K | |
![]() | StructTactics.v.pdf | 2017-10-23 08:39 | 26K | |
![]() | StructTactics.v | 2017-10-23 08:39 | 11K | |
![]() | StructTactics.html | 2017-10-23 08:39 | 99K | |
![]() | Makefile | 2017-10-23 08:39 | 38 | |
![]() | LC.v.pdf | 2017-10-23 08:39 | 38K | |
![]() | LC.v | 2017-10-23 08:39 | 13K | |
![]() | LC.html | 2017-10-23 08:39 | 126K | |
![]() | lec12-slides.pdf | 2017-10-05 23:20 | 1.1M | |
![]() | STLC.v.pdf | 2017-10-05 23:20 | 34K | |
![]() | STLC.v | 2017-10-05 23:20 | 15K | |
![]() | STLC.html | 2017-10-05 23:20 | 169K | |