Mercurial > hg > Members > kono > Proof > galois
diff src/sym5.agda @ 317:77f01da94c4e
use safe option
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 16 Sep 2023 17:24:50 +0900 |
parents | 6d1619d9f880 |
children | e9de2bfef88d |
line wrap: on
line diff