#|

Lab 12

In this lab we will explore reasoning about imperative programs
by playing the invariant discovery game.

Go to http://invgame.atwalter.com.

Fill out the consent form.

Watch the tutorial.

Finish as many levels as you can.


|#