Mercurial > hg > Members > kono > Proof > ZF-in-agda
directory /src/ @ 1439:900c98ffde05
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
BAlgebra.agda | 11743 | -rw-r--r-- |
LEMC.agda | 8228 | -rw-r--r-- |
NSet.agda | 2239 | -rw-r--r-- |
OD.agda | 30256 | -rw-r--r-- |
ODC.agda | 5630 | -rw-r--r-- |
ODUtil.agda | 15505 | -rw-r--r-- |
OrdUtil.agda | 16135 | -rw-r--r-- |
Ordinals.agda | 2038 | -rw-r--r-- |
PFOD.agda | 8651 | -rw-r--r-- |
README.md | 3694 | -rw-r--r-- |
Topology.agda | 42494 | -rw-r--r-- |
Tychonoff.agda | 30814 | -rw-r--r-- |
VL.agda | 2588 | -rw-r--r-- |
ZProduct.agda | 38595 | -rw-r--r-- |
bijection.agda | 52719 | -rw-r--r-- |
cardinal.agda | 19251 | -rw-r--r-- |
filter-util.agda | 24637 | -rw-r--r-- |
filter.agda | 15566 | -rw-r--r-- |
generic-filter.agda | 18723 | -rw-r--r-- |
logic.agda | 6507 | -rw-r--r-- |
maximum-filter.agda | 10202 | -rw-r--r-- |
nat.agda | 32990 | -rw-r--r-- |
ordinal.agda | 16591 | -rw-r--r-- |
partfunc.agda | 11545 | -rw-r--r-- |
zf.agda | 3751 | -rw-r--r-- |
zfc.agda | 1202 | -rw-r--r-- |
zorn.agda | 101342 | -rw-r--r-- |