| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .cvsignore | 15 | logplain |
| -rw-r--r-- | g_minicoq.ml4 | 5163 | logplain |
| -rw-r--r-- | g_minicoq.mli | 418 | logplain |
| -rw-r--r-- | lexer.mli | 238 | logplain |
| -rw-r--r-- | lexer.mll | 5616 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |