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 |