Mercurial > hg > Members > kono > Proof > category
log src/ToposSub.agda @ 1110:45de2b31bf02
age | author | description |
---|---|---|
Sat, 07 Oct 2023 19:43:31 +0900 | Shinji KONO | add original library and fix for safe mode |
Wed, 07 Apr 2021 15:17:38 +0900 | Shinji KONO | ... base src/ToposEx.agda@b1477b34cebe |