mwhittaker/mwhittaker.github.io — pull request #2 by yuxiaotan (2014-08-28 02:00:58+00:00)
Title: Added Formal Models

Added (most) comments describing the formal model that we are using.