| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .depend | 500 | logplain |
| -rw-r--r-- | Axioms.v | 1864 | logplain |
| -rw-r--r-- | Make | 47 | logplain |
| -rw-r--r-- | NSyntax.v | 614 | logplain |
| -rw-r--r-- | NeqDef.v | 93 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |