Mercurial > hg > Members > kono > Proof > ZF-in-agda
comparison README.md @ 1393:c67ecdf89e77
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 27 Jun 2023 08:48:41 +0900 |
parents | 003424a36fed |
children |
comparison
equal
deleted
inserted
replaced
1392:8645a167d76b | 1393:c67ecdf89e77 |
---|