Members/kono/Proof/ZF-in-agda: revision graph

graph

less more | rev 480: (0) -120 +120 +1000 tip

...
2022-04-03, by Shinji KONO
...
2022-04-03, by Shinji KONO
...
2022-04-02, by Shinji KONO
separate zorn lemma
2022-04-01, by Shinji KONO
...
2022-04-01, by Shinji KONO
...
2022-04-01, by Shinji KONO
...
2022-03-31, by Shinji KONO
...
2022-03-30, by Shinji KONO
...
2022-03-29, by Shinji KONO
...
2022-03-28, by Shinji KONO
...
2022-03-27, by Shinji KONO
...
2022-03-23, by Shinji KONO
...
2022-03-23, by Shinji KONO
...
2022-03-23, by Shinji KONO
...
2022-03-22, by Shinji KONO
...
2022-03-22, by Shinji KONO
Zorn lemma start
2022-03-21, by Shinji KONO
generic filter done
2022-03-20, by Shinji KONO
...
2022-03-20, by Shinji KONO
...
2022-03-20, by Shinji KONO
...
2022-03-19, by Shinji KONO
...
2022-03-18, by Shinji KONO
...
2022-03-18, by Shinji KONO
...
2022-03-17, by Shinji KONO
fix filter on subset of Power P
2022-03-17, by Shinji KONO
...
2022-03-17, by Shinji KONO
...
2022-03-15, by Shinji KONO
P should be an order structure not Power Ser
2022-03-15, by Shinji KONO
...
2022-03-14, by Shinji KONO
...
2022-03-14, by Shinji KONO
...
2022-03-14, by Shinji KONO
Generic Filter done
2022-03-13, by Shinji KONO
...
2022-03-13, by Shinji KONO
...
2022-03-13, by Shinji KONO
...
2022-03-12, by Shinji KONO
close this
2022-03-10, by Shinji KONO
generic filter does not work
2022-03-10, by Shinji KONO
...
2022-03-09, by Shinji KONO
...
2022-03-04, by Shinji KONO
...
2022-03-01, by Shinji KONO
give up this generic filter definition
2022-03-01, by Shinji KONO
...
2022-02-26, by Shinji KONO
⊆-reduction
2022-02-25, by Shinji KONO
val
2022-02-22, by Shinji KONO
...
2022-02-22, by Shinji KONO
fi;ter1
2022-02-20, by Shinji KONO
generic filter
2022-02-18, by Shinji KONO
separate PFOD
2021-09-03, by Shinji KONO
Added tag current for changeset a5f8084b8368
2020-12-21, by Shinji KONO
reorganiztion for apkg
2020-12-21, by Shinji KONO
...
2020-12-20, by Shinji KONO
...
2020-12-19, by Shinji KONO
add Topology
2020-12-19, by Shinji KONO
...
2020-08-08, by Shinji KONO
...
2020-08-06, by Shinji KONO
...
2020-08-05, by Shinji KONO
remvoe TransFinifte1
2020-08-01, by Shinji KONO
...
2020-08-01, by Shinji KONO
syntax *, &, ⟪ , ⟫
2020-08-01, by Shinji KONO
...
2020-07-31, by Shinji KONO
bijection
2020-07-31, by Shinji KONO
...
2020-07-31, by Shinji KONO
...
2020-07-31, by Shinji KONO
...
2020-07-31, by Shinji KONO
...
2020-07-30, by Shinji KONO
...
2020-07-30, by Shinji KONO
add VL
2020-07-30, by Shinji KONO
generic filter on going
2020-07-29, by Shinji KONO
...
2020-07-29, by Shinji KONO
...
2020-07-29, by Shinji KONO
...
2020-07-29, by Shinji KONO
nat→ω-iso
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
...
2020-07-28, by Shinji KONO
use induction
2020-07-27, by Shinji KONO
...
2020-07-27, by Shinji KONO
...
2020-07-27, by Shinji KONO
...
2020-07-27, by Shinji KONO
...
2020-07-27, by Shinji KONO
...
2020-07-27, by Shinji KONO
...
2020-07-26, by Shinji KONO
...
2020-07-26, by Shinji KONO
...
2020-07-25, by Shinji KONO
generic filter defined
2020-07-25, by Shinji KONO
generic filter
2020-07-25, by Shinji KONO
...
2020-07-25, by Shinji KONO
...
2020-07-25, by Shinji KONO
...
2020-07-25, by Shinji KONO
...
2020-07-23, by Shinji KONO
...
2020-07-21, by Shinji KONO
Three List / Filter
2020-07-21, by Shinji KONO
...
2020-07-21, by Shinji KONO
...
2020-07-21, by Shinji KONO
...
2020-07-21, by Shinji KONO
...
2020-07-20, by Shinji KONO
...
2020-07-20, by Shinji KONO
...
2020-07-20, by Shinji KONO
..
2020-07-20, by Shinji KONO
...
2020-07-20, by Shinji KONO
Select : (X : HOD ) → ((x : HOD ) → X ∋ x → Set n ) → HOD does not work
2020-07-20, by Shinji KONO
...
2020-07-20, by Shinji KONO
...
2020-07-19, by Shinji KONO
...
2020-07-19, by Shinji KONO
...
2020-07-19, by Shinji KONO
...
2020-07-19, by Shinji KONO
fix Select and Replace
2020-07-19, by Shinji KONO
...
2020-07-18, by Shinji KONO
...
2020-07-18, by Shinji KONO
...
2020-07-18, by Shinji KONO
...
2020-07-18, by Shinji KONO
...
2020-07-18, by Shinji KONO
hω2
2020-07-18, by Shinji KONO
...
2020-07-17, by Shinji KONO
...
2020-07-17, by Shinji KONO

less more | rev 480: (0) -120 +120 +1000 tip

Mercurial > hg > Members > kono > Proof > ZF-in-agda

graph