Mercurial > hg > Members > ryokka > HoareLogic
diff HoareSoundness.agda @ 43:52523a6ee221
think about whileTransition
author | ryokka |
---|---|
date | Sun, 15 Dec 2019 19:22:21 +0900 |
parents | e668962ac31a |
children | 222dd3869ab0 |
author | ryokka |
---|---|
date | Sun, 15 Dec 2019 19:22:21 +0900 |
parents | e668962ac31a |
children | 222dd3869ab0 |