Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
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 | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | ... |
2023-06-11 | Shinji KONO | using Fresh List |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | include all A less than n |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | bad appraoch |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-10 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-09 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-08 | Shinji KONO | ... |
2023-06-07 | Shinji KONO | ... |
2023-06-07 | Shinji KONO | ... |
2023-06-05 | Shinji KONO | ... |
2023-06-05 | Shinji KONO | fix PFOD |
2023-06-04 | Shinji KONO | remove next |
2023-06-03 | Shinji KONO | Added tag current for changeset 2c34f2b554cf |
2023-06-03 | Shinji KONO | Replace and filter projection fix done current |
2023-06-02 | Shinji KONO | ... |
2023-06-02 | Shinji KONO | ... |
2023-06-02 | Shinji KONO | ... |
2023-06-01 | Shinji KONO | ZPmirror |