Mercurial > hg > Members > kono > Proof > HyperReal
directory /src/ @ 22:942f4e528a79 default tip
name | size | permissions |
---|---|---|
[up] | drwxr-xr-x | |
HyperReal.agda | 8663 | -rw-r--r-- |
bijection.agda | 27194 | -rw-r--r-- |
logic.agda | 5347 | -rw-r--r-- |
nat.agda | 20197 | -rw-r--r-- |