UCSD-PL/algorithmic-software-verification — pull request #6 by Ptival (2013-04-20 21:56:02+00:00)
Title: Floyd-Hoare logic

Ranjit, could you comment on what you would like to see/not see in here? Thanks.