Mercurial > hg > Members > ryokka > HoareLogic
diff Hoare.agda @ 98:2d2b0b06945b default tip
simplfied version
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 08 Apr 2023 17:00:53 +0900 |
parents | e668962ac31a |
children |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 08 Apr 2023 17:00:53 +0900 |
parents | e668962ac31a |
children |