| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coqargs.ml | 17800 | logplain |
| -rw-r--r-- | coqargs.mli | 3318 | logplain |
| -rw-r--r-- | coqloadpath.ml | 2607 | logplain |
| -rw-r--r-- | coqloadpath.mli | 979 | logplain |
| -rw-r--r-- | dune | 168 | logplain |
| -rw-r--r-- | sysinit.mllib | 26 | logplain |
| -rw-r--r-- | usage.ml | 6086 | logplain |
| -rw-r--r-- | usage.mli | 1162 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |