Mercurial > hg > Members > kono > Proof > ZF-in-agda
log
age | author | description |
---|---|---|
2020-07-20 | Shinji KONO | Select : (X : HOD ) → ((x : HOD ) → X ∋ x → Set n ) → HOD does not work |
2020-07-20 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | ... |
2020-07-19 | Shinji KONO | fix Select and Replace |
Loading... |