Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BigNumPrelude.v | 11136 | logplain |
d--------- | Cyclic | 106 | logplain |
d--------- | Integer | 168 | logplain |
d--------- | NatInt | 267 | logplain |
d--------- | Natural | 131 | logplain |
-rw-r--r-- | NumPrelude.v | 9044 | logplain |
-rw-r--r-- | QRewrite.v | 6497 | logplain |
d--------- | Rational / BigQ | 31 | logplain |