Mercurial > hg > Members > ryokka > HoareLogic
diff HoareSoundness.agda @ 55:1be7bb658cf0
proof whileLoopPwP tri= case, conv
author | ryokka |
---|---|
date | Fri, 20 Dec 2019 17:45:56 +0900 |
parents | e668962ac31a |
children | 222dd3869ab0 |
author | ryokka |
---|---|
date | Fri, 20 Dec 2019 17:45:56 +0900 |
parents | e668962ac31a |
children | 222dd3869ab0 |