18:56 Logical Verification 2020 lecture11 115a quotient types Jasmin Blanchette 207 views - 4 years ago
22:19 Logical Verification 2020 lecture11 115b quotient types Jasmin Blanchette 104 views - 4 years ago
8:36 Logical Verification 2020 lecture12 125 lists multisets and finite sets Jasmin Blanchette 71 views - 4 years ago
19:25 Logical Verification 2020 lecture13 131 rational numbers Jasmin Blanchette 91 views - 4 years ago
19:02 Logical Verification 2020 lecture12 121 type classes over one binary operator Jasmin Blanchette 98 views - 4 years ago
27:33 Logical Verification 2020 lecture14b the p adic norm and p adic numbers Jasmin Blanchette 483 views - 4 years ago
32:08 Logical Verification 2020 lecture14a completing the rational numbers Jasmin Blanchette 103 views - 4 years ago
9:59 Logical Verification 2020 lecture12 122 type classes over two binary operators Jasmin Blanchette 52 views - 4 years ago
9:53 Logical Verification 2020 lecture12 126 order type classes Jasmin Blanchette 39 views - 4 years ago
13:54 Logical Verification 2020 lecture09 93 a semantic approach to hoare logic Jasmin Blanchette 313 views - 4 years ago
10:19 Logical Verification 2020 lecture09 94 first program exchanging two variables Jasmin Blanchette 149 views - 4 years ago
4:55 Logical Verification 2020 lecture09 95 second program adding two numbers Jasmin Blanchette 111 views - 4 years ago
12:27 Logical Verification 2020 lecture09 97 98 a verification condition generator second program revisite Jasmin Blanchette 125 views - 4 years ago
5:14 Logical Verification 2020 lecture09 99 hoare triples for total correctness Jasmin Blanchette 258 views - 4 years ago
14:24 Logical Verification 2020 lecture10 101 102 compositionality a denotational relational semantics Jasmin Blanchette 222 views - 4 years ago
5:07 Logical Verification 2020 lecture10 104 monotone functions Jasmin Blanchette 109 views - 4 years ago
22:08 Logical Verification 2020 lecture11 112 the peculiarities of prop Jasmin Blanchette 117 views - 4 years ago
9:09 Logical Verification 2020 lecture10 105 complete lattices Jasmin Blanchette 97 views - 4 years ago
8:20 Logical Verification 2020 lecture11 113 the axiom of choice Jasmin Blanchette 134 views - 4 years ago
7:41 Logical Verification 2020 lecture10 106 107 108 least fixpoint a relational denotational semantics c Jasmin Blanchette 107 views - 4 years ago
19:08 Logical Verification 2020 lecture07 71 tactics and tactic combinators Jasmin Blanchette 199 views - 4 years ago
7:30 Logical Verification 2020 lecture06 69 a generic algorithm iteration over a list Jasmin Blanchette 132 views - 4 years ago
12:42 Logical Verification 2020 lecture07 75 second example a provability advisor Jasmin Blanchette 85 views - 4 years ago
10:46 Logical Verification 2020 lecture07 74 first example a conjunction destructing tactic Jasmin Blanchette 88 views - 4 years ago
33:02 Logical Verification 2020 lecture07 73 names expressions declarations and environments Jasmin Blanchette 129 views - 4 years ago
6:57 Logical Verification 2020 lecture09 00 first things first formalization projects Jasmin Blanchette 163 views - 4 years ago
8:28 Logical Verification 2020 lecture08 82 a minimalistic imperative language Jasmin Blanchette 213 views - 4 years ago
14:07 Logical Verification 2020 lecture08 85 small step semantics Jasmin Blanchette 194 views - 4 years ago
17:01 Logical Verification 2020 lecture08 84 properties of the big step semantics Jasmin Blanchette 197 views - 4 years ago
22:08 Logical Verification 2020 lecture07 72 the metaprogramming monad Jasmin Blanchette 189 views - 4 years ago
11:40 Logical Verification 2020 lecture08 86 properties of the small step semantics Jasmin Blanchette 124 views - 4 years ago
12:15 Logical Verification 2020 lecture08 83 big step semantics Jasmin Blanchette 475 views - 4 years ago
6:49 Logical Verification 2020 lecture08 81 formal semantics Jasmin Blanchette 255 views - 4 years ago
9:22 Logical Verification 2020 lecture04 43 44 structural recursion pattern matching expressions Jasmin Blanchette 207 views - 4 years ago
8:51 Logical Verification 2020 lecture04 41 42 inductive types structural induction Jasmin Blanchette 323 views - 4 years ago
3:50 Logical Verification 2020 lecture05 52 logical symbols Jasmin Blanchette 173 views - 4 years ago
21:52 Logical Verification 2020 lecture05 51 introductory examples Jasmin Blanchette 259 views - 4 years ago
15:58 Logical Verification 2020 lecture05 53 rule induction Jasmin Blanchette 249 views - 4 years ago
9:04 Logical Verification 2020 lecture06 63 64 a type class no effects Jasmin Blanchette 180 views - 4 years ago
15:25 Logical Verification 2020 lecture06 62 two operations and three laws Jasmin Blanchette 192 views - 4 years ago
28:54 Logical Verification 2020 lecture04 47 48 lists binary trees Jasmin Blanchette 244 views - 4 years ago
22:13 Logical Verification 2020 lecture04 45 46 structures type classes Jasmin Blanchette 228 views - 4 years ago
13:50 Logical Verification 2020 lecture06 61 introductory example Jasmin Blanchette 269 views - 4 years ago
18:25 Logical Verification 2020 lecture05 56 further examples Jasmin Blanchette 161 views - 4 years ago
14:11 Logical Verification 2020 lecture03 38 induction by pattern matching Jasmin Blanchette 222 views - 4 years ago