Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2022-09-30 | Shinji KONO | MinSUP |
2022-09-24 | Shinji KONO | ... |
2022-09-20 | Shinji KONO | ... |
2022-09-17 | Shinji KONO | csupf cannot be proved in ZChain itself |
2022-09-17 | Shinji KONO | ... |
2022-09-17 | Shinji KONO | ... |
2022-09-16 | Shinji KONO | ... |
Loading... |