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