06:28duration 6 minutes 28 seconds
CL - 14a - Tseytin Week 9
In the second video, we show how the Tesytin procedure can be implemented elegantly in Haskell.