| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 9 | logplain |
| -rw-r--r-- | g_minicoq.g4 | 415 | logplain |
| -rw-r--r-- | g_minicoq.mli | 46 | logplain |
| -rw-r--r-- | lexer.mli | 204 | logplain |
| -rw-r--r-- | lexer.mll | 5117 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |