Mercurial > hg > Members > kono > Proof > ZF-in-agda
log src/logic.agda @ 1485:5dacb669f13b
age | author | description |
---|---|---|
2024-01-01 | Shinji KONO | ... |
2023-07-04 | Shinji KONO | ... |
2023-02-21 | Shinji KONO | ... |
2023-02-18 | Shinji KONO | Func and Funcs |
2020-12-21 | Shinji KONO | reorganiztion for apkg |