Mercurial > hg > Members > kono > Proof > automaton1
diff logic.agda @ 14:2e589115f7c9
RexResult
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 16 Nov 2020 14:39:16 +0900 |
parents | 894feefc3084 |
children | e168140d15b0 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 16 Nov 2020 14:39:16 +0900 |
parents | 894feefc3084 |
children | e168140d15b0 |