Skip to content

“And then I tell it, make sure this property that the…” — The Pragmatic Engineer at 32:21

The Pragmatic Engineer Formal methods with Hillel Wayne

“And then I tell it, make sure this property that the change in variant always holds. When we sold it now, I just have to run this.”

0:00 1:23:42