We are hiring ! See our job offers.
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

README.md

back to top