| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqargs.ml | 16323 | logplain |
| -rw-r--r-- | coqargs.mli | 3233 | logplain |
| -rw-r--r-- | coqinit.ml | 5097 | 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 | 6000 | logplain |
| -rw-r--r-- | usage.mli | 1162 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |