| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | DoubleAdd.v | 11494 | logplain |
| -rw-r--r-- | DoubleBase.v | 13534 | logplain |
| -rw-r--r-- | DoubleCyclic.v | 28466 | logplain |
| -rw-r--r-- | DoubleDiv.v | 58161 | logplain |
| -rw-r--r-- | DoubleDivn1.v | 21294 | logplain |
| -rw-r--r-- | DoubleLift.v | 19762 | logplain |
| -rw-r--r-- | DoubleMul.v | 24423 | logplain |
| -rw-r--r-- | DoubleSqrt.v | 49781 | logplain |
| -rw-r--r-- | DoubleSub.v | 12656 | logplain |
| -rw-r--r-- | DoubleType.v | 1908 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |