Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/maximum-filter.agda @ 1240:fbe072447243
age | author | description |
---|---|---|
Fri, 20 Jan 2023 11:22:37 +0900 | Shinji KONO | ... |
Thu, 19 Jan 2023 11:13:40 +0900 | Shinji KONO | FIP to Filter done |
Wed, 18 Jan 2023 14:09:53 +0900 | Shinji KONO | ... base src/filter.agda@e2644eb0aac5 |