Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2023-07-01 | Shinji KONO | ... |
2023-07-01 | Shinji KONO | ... |
2023-07-01 | Shinji KONO | ... |
2023-07-01 | Shinji KONO | ... |
2023-07-01 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | looks connected |
2023-06-30 | Shinji KONO | work around on strict positive on gfImage |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | Recursive record CN needs to be declared as either inductive or coinductive |
2023-06-30 | Shinji KONO | ... |
2023-06-30 | Shinji KONO | ... |
2023-06-29 | Shinji KONO | ... |
2023-06-29 | Shinji KONO | ... |
2023-06-29 | Shinji KONO | ... |
2023-06-29 | Shinji KONO | ... |
2023-06-29 | Shinji KONO | a-UC |
2023-06-29 | Shinji KONO | ... |
2023-06-28 | Shinji KONO | ... |
2023-06-28 | Shinji KONO | ... |
2023-06-28 | Shinji KONO | ... |
2023-06-27 | Shinji KONO | iso in bernstein done |
2023-06-27 | Shinji KONO | one Uf iso done |
2023-06-27 | Shinji KONO | ... |
2023-06-27 | Shinji KONO | ... |