Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /src/ @ 1287:d9f3774ddb00
| name | size | permissions |
|---|---|---|
| [up] | drwxr-xr-x | |
 BAlgebra.agda
|
11464 | -rw-r--r-- |
|
LEMC.agda
|
8225 | -rw-r--r-- |
|
NSet.agda
|
2239 | -rw-r--r-- |
|
OD.agda
|
30316 | -rw-r--r-- |
|
ODC.agda
|
5469 | -rw-r--r-- |
|
ODUtil.agda
|
14791 | -rw-r--r-- |
|
OrdUtil.agda
|
14753 | -rw-r--r-- |
|
Ordinals.agda
|
2503 | -rw-r--r-- |
|
PFOD.agda
|
6241 | -rw-r--r-- |
|
README.md
|
3694 | -rw-r--r-- |
|
Topology.agda
|
42436 | -rw-r--r-- |
|
Tychonoff.agda
|
57396 | -rw-r--r-- |
|
VL.agda
|
2584 | -rw-r--r-- |
|
ZProduct.agda
|
23036 | -rw-r--r-- |
|
bijection.agda
|
23605 | -rw-r--r-- |
|
cardinal.agda
|
4398 | -rw-r--r-- |
|
filter.agda
|
15563 | -rw-r--r-- |
|
generic-filter.agda
|
18720 | -rw-r--r-- |
|
logic.agda
|
6508 | -rw-r--r-- |
|
maximum-filter.agda
|
10199 | -rw-r--r-- |
|
nat.agda
|
30685 | -rw-r--r-- |
|
ordinal.agda
|
16592 | -rw-r--r-- |
|
partfunc.agda
|
11545 | -rw-r--r-- |
|
zf.agda
|
3751 | -rw-r--r-- |
|
zfc.agda
|
1202 | -rw-r--r-- |
|
zorn.agda
|
101339 | -rw-r--r-- |