Mercurial > hg > Members > kono > Proof > ZF-in-agda
graph
-
add filter2019-07-26, by Shinji KONO
-
Axiom of choies implies p ∨ ( ¬ p )2019-07-25, by Shinji KONO
-
axiom of choice → p ∨ ¬ p2019-07-25, by Shinji KONO
-
add Todo2019-07-23, by Shinji KONO
-
fix extensionality2019-07-22, by Shinji KONO
-
...2019-07-22, by Shinji KONO
-
...2019-07-22, by Shinji KONO