The (long awaited!) Spec# tutorial is now available (krml189.pdf), along with tutorial examples (Tutorial.zip).

Last edited Sep 18, 2009 at 12:02 AM by rustanleino, version 2

Comments

No comments yet.