Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Base.agda | 3983 | logplain |
-rw-r--r-- | Coprimality.agda | 5733 | logplain |
-rw-r--r-- | DivMod.agda | 4027 | logplain |
d--------- | DivMod | 76 | logplain |
-rw-r--r-- | Divisibility.agda | 8761 | logplain |
-rw-r--r-- | GCD.agda | 6715 | logplain |
d--------- | GCD | 39 | logplain |
-rw-r--r-- | GeneralisedArithmetic.agda | 3167 | logplain |
-rw-r--r-- | InfinitelyOften.agda | 2900 | logplain |
-rw-r--r-- | LCM.agda | 5024 | logplain |
-rw-r--r-- | Literals.agda | 414 | logplain |
-rw-r--r-- | Primality.agda | 1077 | logplain |
-rw-r--r-- | Properties.agda | 52668 | logplain |
d--------- | Properties | 39 | logplain |
-rw-r--r-- | Show.agda | 1025 | logplain |
-rw-r--r-- | Solver.agda | 738 | logplain |
-rw-r--r-- | Unsafe.agda | 464 | logplain |