| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Tauto.v | 365 | logplain |
| -rw-r--r-- | clash_cons.v | 133 | logplain |
| -rw-r--r-- | fixpoint1.v | 94 | logplain |
| -rw-r--r-- | illtype1.v | 13 | logplain |
| -rw-r--r-- | positivity.v | 39 | logplain |
| -rw-r--r-- | redef.v | 48 | logplain |
| -rw-r--r-- | search.v | 42 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |