Skip to content

“I want this to be true at the end. And can you figure this…” — The Pragmatic Engineer at 20:53

The Pragmatic Engineer Formal methods with Hillel Wayne

“I want this to be true at the end. And can you figure this out? And I'll be like, either yes, I can prove these things match or knowing a little bit more help.”

0:00 1:23:42