| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BigQ.v | 1341 | logplain |
| -rw-r--r-- | Q0Make.v | 47098 | logplain |
| -rw-r--r-- | QMake_base.v | 1151 | logplain |
| -rw-r--r-- | QbiMake.v | 36261 | logplain |
| -rw-r--r-- | QifMake.v | 32691 | logplain |
| -rw-r--r-- | QpMake.v | 32895 | logplain |
| -rw-r--r-- | QvMake.v | 40331 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |