Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| Sat, 29 Jun 2024 21:08:29 +0900 | Shinji KONO | ... |
| Sat, 29 Jun 2024 15:57:38 +0900 | Shinji KONO | ... |
| Fri, 28 Jun 2024 20:55:38 +0900 | Shinji KONO | ... |
| Fri, 28 Jun 2024 17:41:43 +0900 | Shinji KONO | ordinal (countable Ordinal) done |
| Sun, 23 Jun 2024 09:32:40 +0900 | Shinji KONO | Bernstein fixed |
| Sun, 23 Jun 2024 07:04:50 +0900 | Shinji KONO | ... |
| Sat, 22 Jun 2024 19:23:56 +0900 | Shinji KONO | ... |
| Sat, 22 Jun 2024 12:39:58 +0900 | Shinji KONO | PFOD done |