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-- |