Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| 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 |
| Sat, 22 Jun 2024 11:39:35 +0900 | Shinji KONO | bad pattern on fω→2-wld |