Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| 2023-06-23 | Shinji KONO | ... |
| 2023-06-23 | Shinji KONO | ... |
| 2023-06-23 | Shinji KONO | ... |
| 2023-06-23 | Shinji KONO | no-good |
| 2023-06-22 | Shinji KONO | suc n |
| 2023-06-22 | Shinji KONO | ... |
| 2023-06-22 | Shinji KONO | ... |
| 2023-06-22 | Shinji KONO | ... |
| 2023-06-22 | Shinji KONO | ... |
| 2023-06-22 | Shinji KONO | ... |
| 2023-06-21 | Shinji KONO | lem06 |
| 2023-06-21 | Shinji KONO | ... |
| 2023-06-21 | Shinji KONO | ... |
| 2023-06-21 | Shinji KONO | ... |
| 2023-06-21 | Shinji KONO | ... |
| 2023-06-21 | Shinji KONO | ... |
| 2023-06-20 | Shinji KONO | ... |
| 2023-06-20 | Shinji KONO | ... |
| 2023-06-20 | Shinji KONO | ... |
| 2023-06-20 | Shinji KONO | ... |
| 2023-06-19 | Shinji KONO | ... |
| 2023-06-19 | Shinji KONO | ... |
| 2023-06-19 | Shinji KONO | ... |
| 2023-06-19 | Shinji KONO | ... |
| 2023-06-19 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-18 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... 0 case on c1+1P |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-17 | Shinji KONO | ... |
| 2023-06-16 | Shinji KONO | ... |
| 2023-06-16 | Shinji KONO | ... simple c1 |
| 2023-06-16 | Shinji KONO | ... |
| 2023-06-16 | Shinji KONO | ... |
| 2023-06-16 | Shinji KONO | ... |
| 2023-06-15 | Shinji KONO | ... |
| 2023-06-14 | Shinji KONO | ... |
| 2023-06-14 | Shinji KONO | ... |
| 2023-06-14 | Shinji KONO | direct count A |
| 2023-06-13 | Shinji KONO | ... |
| 2023-06-13 | Shinji KONO | ... |
| 2023-06-13 | Shinji KONO | ... |
| 2023-06-13 | Shinji KONO | ... |
| 2023-06-13 | Shinji KONO | ... |
| 2023-06-12 | Shinji KONO | ... |
| 2023-06-11 | Shinji KONO | ... |
| 2023-06-11 | Shinji KONO | ... |