Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-08-16 | Shinji KONO | < on ZChain.sup |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | nvim-agda bug in zorn.agda |
Loading... |
age | author | description |
---|---|---|
2022-08-16 | Shinji KONO | < on ZChain.sup |
2022-08-16 | Shinji KONO | ... |
2022-08-16 | Shinji KONO | nvim-agda bug in zorn.agda |
Loading... |