| File | Mode | Size |
|---|---|---|
| Abstract | ||
| BrouwerTree | ||
| CantorNormalForm | ||
| ExtensionalWellfoundedOrder | ||
| Interpretations | ||
| Everything.agda | -rw-r--r-- | 1.2 KB |
| General-Properties.agda | -rw-r--r-- | 3.5 KB |
| Iff.agda | -rw-r--r-- | 847 bytes |
| README.md | -rw-r--r-- | 366 bytes |
| Sierpinski.agda | -rw-r--r-- | 27.3 KB |
| Simulations.agda | -rw-r--r-- | 1.7 KB |
| index.agda | -rw-r--r-- | 9.4 KB |
| ordinals.agda-lib | -rwxr-xr-x | 132 bytes |
