File Mode Size
others
Addition.agda -rw-r--r-- 8.9 KB
Arithmetic.agda -rw-r--r-- 12.6 KB
Base.agda -rw-r--r-- 13.2 KB
Classifiability.agda -rw-r--r-- 14.9 KB
Division.agda -rw-r--r-- 6.2 KB
Everything.agda -rw-r--r-- 623 bytes
Exponentiation.agda -rw-r--r-- 907 bytes
Multiplication.agda -rw-r--r-- 14.6 KB
Subtraction.agda -rw-r--r-- 6.3 KB
Wellfoundedness.agda -rw-r--r-- 2.8 KB

back to top