Name | Date modified | File size |
|
|---|---|---|---|
CS6225 - Programs and Proofs - 01 - Introduction Shared | Feb 2, 2021 | 147 MB | |
CS6225 - Programs and Proofs - 02 - Functional Programming in Coq Shared | Feb 2, 2021 | 187.2 MB | |
CS6225 - Programs and Proofs - 03 - Functional Programming + Logic Shared | Feb 3, 2021 | 190.9 MB | |
CS6225 - Programs and Proofs - 04 - Logic Shared | Feb 4, 2021 | 221.2 MB | |
CS6225 - Programs and Proofs - 05 - Logic Shared | Feb 9, 2021 | 192.4 MB | |
CS6225 - Programs and Proofs - 06 - Induction Shared | Feb 9, 2021 | 186.3 MB | |
CS6225 - Programs and Proofs - 07 - Induction Shared | Feb 10, 2021 | 206.7 MB | |
CS6225 - Programs and Proofs - 08 - Induction + Basic Syntax Shared | Feb 13, 2021 | 182 MB | |
CS6225 - Programs and Proofs - 09 - Basic Syntax Shared | Feb 15, 2021 | 231.2 MB | |
CS6225 - Programs and Proofs - 10 - Basic Syntax + Interpreter Shared | Feb 16, 2021 | 157.2 MB | |
CS6225 - Programs and Proofs - 11 - Interpreters Shared | Feb 18, 2021 | 185.3 MB | |
CS6225 - Programs and Proofs - 12 - Interpreters Shared | Feb 19, 2021 | 232.8 MB | |
CS6225 - Programs and Proofs - 13 - Interpreters + F* Functional Shared | Mar 1, 2021 | 174.5 MB | |
CS6225 - Programs and Proofs - 14 - F* Functional Shared | Mar 3, 2021 | 160 MB | |
CS6225 - Programs and Proofs - 15 - F* Functional Shared | Mar 3, 2021 | 159.1 MB | |
CS6225 - Programs and Proofs - 16 - F* Verification Shared | Mar 4, 2021 | 173.6 MB | |
CS6225 - Programs and Proofs - 17 - F* Verification Shared | Mar 6, 2021 | 324.5 MB | |
CS6225 - Programs and Proofs - 18 - Logic Programming Shared | Mar 9, 2021 | 204.4 MB | |
CS6225 - Programs and Proofs - 19 - Logic Programming Shared | Mar 9, 2021 | 226 MB | |
CS6225 - Programs and Proofs - 20 - Logic Programming + Transition Systems Shared | Mar 9, 2021 | 203.1 MB | |
CS6225 - Programs and Proofs - 21 - Transition Systems Shared | Mar 12, 2021 | 185.3 MB | |
CS6225 - Programs and Proofs - 22 - Transition Systems Shared | Mar 15, 2021 | 259.9 MB | |
CS6225 - Programs and Proofs - 23 - Operational Semantics Shared | Mar 17, 2021 | 173 MB | |
CS6225 - Programs and Proofs - 24 - Operational Semantics Shared | Mar 17, 2021 | 204.1 MB | |
CS6225 - Programs and Proofs - 25 - Operational Semantics Shared | Mar 19, 2021 | 189.4 MB | |
CS6225 - Programs and Proofs - 26 - Operational Semantics Shared | Mar 22, 2021 | 187.1 MB | |
CS6225 - Programs and Proofs - 27 - Operational Semantics Shared | Mar 23, 2021 | 148.7 MB | |
CS6225 - Programs and Proofs - 28 - Lambda Calculus Shared | Mar 24, 2021 | 145.9 MB | |
CS6225 - Programs and Proofs - 29 - Lambda Calculus Shared | Mar 25, 2021 | 181.1 MB | |
CS6225 - Programs and Proofs - 30 - Lambda Calculus Shared | Apr 13, 2021 | 187.4 MB | |
CS6225 - Programs and Proofs - 31 - Lambda Calculus Shared | Apr 13, 2021 | 183.5 MB | |
CS6225 - Programs and Proofs - 32 - Sub-typing Assignment Shared | Apr 14, 2021 | 92.3 MB | |
CS6225 - Programs and Proofs - 33 - Sub-typing Assignment Shared | Apr 14, 2021 | 81.7 MB | |
CS6225 - Programs and Proofs - 34 - Compiler Correctness Shared | Apr 15, 2021 | 142.3 MB | |
CS6225 - Programs and Proofs - 35 - Compiler Correctness Shared | Apr 19, 2021 | 205.2 MB | |
CS6225 - Programs and Proofs - 36 - Compiler Correctness Shared | Apr 20, 2021 | 199.6 MB | |
CS6225 - Programs and Proofs - 37 - Compiler Correctness Shared | Apr 22, 2021 | 207 MB | |
CS6225 - Programs and Proofs - 38 - Compiler Correctness + Hoare Logic Shared | Apr 22, 2021 | 169 MB | |
CS6225 - Programs and Proofs - 39 - Hoare Logic Shared | Apr 26, 2021 | 147.9 MB | |
CS6225 - Programs and Proofs - 40 - Hoare Logic Shared | Apr 27, 2021 | 155.7 MB | |
CS6225 - Programs and Proofs - 41 - Hoare Logic Shared | Apr 28, 2021 | 278.5 MB | |
CS6225 - Programs and Proofs - 42 - FStar Effects Shared | Apr 28, 2021 | 184.9 MB |