refresh
panel
Managed by
dbnvp:
Video frame grabs associated with new comments are queued and depending on load may take a very long time. Hit "refresh panel" until you are bored...
0:00:14
[
add]
Handout view 23: Algebras and Invariants
0:14:16
[
add]
Handout view 29: 0-Smidgen Invariants
0:16:14
[
add]
Handout view 29: 0-Smidgen Invariants
0:21:02
[
add]
Handout view 30: Program: R0 and Utilities
0:28:22
[
add]
Handout view 29: 0-Smidgen Invariants
0:41:47
[
add]
Handout view 39: Run: Meta-Associativity