Mercurial > hg > Members > kono > Proof > galois
diff README.md @ 103:7595ee384b3d
FL→iso done
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 01 Sep 2020 16:54:56 +0900 |
parents | 09fa2ab75703 |
children | 206fc12e5c36 |
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 01 Sep 2020 16:54:56 +0900 |
parents | 09fa2ab75703 |
children | 206fc12e5c36 |