Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
| age | author | description |
|---|---|---|
| 2022-08-17 | Shinji KONO | another spuf1 |
| 2022-08-17 | Shinji KONO | xSUP on px |
| 2022-08-17 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | < on ZChain.sup |
| 2022-08-16 | Shinji KONO | ... |
| 2022-08-16 | Shinji KONO | nvim-agda bug in zorn.agda |
| 2022-08-15 | Shinji KONO | ... |
| 2022-08-15 | Shinji KONO | ... |
| 2022-08-15 | Shinji KONO | ... |
| 2022-08-12 | Shinji KONO | ... |