Mercurial > hg > Members > ryokka > HoareLogic
diff whileTestGears1.agda @ 50:2edb44c5bf52
add s1~3, proofs
author | ryokka |
---|---|
date | Wed, 18 Dec 2019 20:08:58 +0900 |
parents | b95a3cf9727c |
children | 07b183a726f6 |
author | ryokka |
---|---|
date | Wed, 18 Dec 2019 20:08:58 +0900 |
parents | b95a3cf9727c |
children | 07b183a726f6 |