Blue board videos
- external support and loop formulas
- blue board, external support and loop formulas
underlying the video on loops have a bug on page 245: the theorem misses that set X must be a model of the program.
This is fixed in the
of the slides but not (yet) in the video.