Skip to content

“And it helps me get to the end. I just keep doing that…” — The Pragmatic Engineer at 21:05

The Pragmatic Engineer Formal methods with Hillel Wayne

“And it helps me get to the end. I just keep doing that until you actually have enough that computer can do the proof for you.”

0:00 1:23:42