| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | BigQ.v | 1341 | logplain |
| -rw-r--r-- | Q0Make.v | 47019 | logplain |
| -rw-r--r-- | QMake_base.v | 1157 | logplain |
| -rw-r--r-- | QbiMake.v | 36182 | logplain |
| -rw-r--r-- | QifMake.v | 32619 | logplain |
| -rw-r--r-- | QpMake.v | 32184 | logplain |
| -rw-r--r-- | QvMake.v | 40252 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |