Mercurial > hg > Gears > GearsAgda
diff ModelChecking.agda @ 664:1f702351fd1f
findP done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 22 Nov 2021 08:24:21 +0900 (2021-11-21) |
parents | e30dcd03c07f |
children | 4761b08c4bd6 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 22 Nov 2021 08:24:21 +0900 (2021-11-21) |
parents | e30dcd03c07f |
children | 4761b08c4bd6 |