| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqargs.ml | 16041 | logplain |
| -rw-r--r-- | coqargs.mli | 3511 | logplain |
| -rw-r--r-- | coqinit.ml | 5389 | logplain |
| -rw-r--r-- | coqinit.mli | 2640 | logplain |
| -rw-r--r-- | coqloadpath.ml | 2607 | logplain |
| -rw-r--r-- | coqloadpath.mli | 979 | logplain |
| -rw-r--r-- | dune | 131 | logplain |
| -rw-r--r-- | sysinit.mllib | 34 | logplain |
| -rw-r--r-- | usage.ml | 5945 | logplain |
| -rw-r--r-- | usage.mli | 1162 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |