I updated sf-check because of a mis-labeled theorem in Hoare.v

0 views

Skip to first unread message

unread,

Mar 19, 2013, 9:47:17 AM3/19/13

to BYU CS 430 Winter 2013

--
Jay McCarthy <j...@cs.byu.edu>
Assistant Professor / Brigham Young University
http://faculty.cs.byu.edu/~jay

"The glory of God is Intelligence" - D&C 93

Reply all

Reply to author

Forward

0 new messages