Towards Hoare logic for a small imperative language in Haskell(bor0.wordpress.com)3 points by bor0 5 years ago | 0 commentsNo comments yet