Copyright © 2008 David Schmidt


0.1 Programming == Proving

The main ideas: