| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqargs.ml | 17157 | logplain |
| -rw-r--r-- | coqargs.mli | 3236 | logplain |
| -rw-r--r-- | coqinit.ml | 5030 | 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 | 33 | logplain |
| -rw-r--r-- | usage.ml | 6086 | logplain |
| -rw-r--r-- | usage.mli | 1162 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |