|
|
|
|
|
|
by jmcantrell
458 days ago
|
|
|
I'm curious about the part where LL is talking about how to prove the 3 parts of the max() example's invariant (around 31:46) and omits #2. Did you all understand why this condition holds or are you now scared of AI replacing you, like me? |
|
|