| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq-tex.1 | 3075 | logplain |
| -rw-r--r-- | coq_makefile.1 | 466 | logplain |
| -rw-r--r-- | coqc.1 | 955 | logplain |
| -rw-r--r-- | coqchk.1 | 1925 | logplain |
| -rw-r--r-- | coqdep.1 | 3943 | logplain |
| -rw-r--r-- | coqdoc.1 | 4564 | logplain |
| -rw-r--r-- | coqide.1 | 2084 | logplain |
| -rw-r--r-- | coqtop.1 | 1979 | logplain |
| -rw-r--r-- | coqtop.byte.1 | 389 | logplain |
| -rw-r--r-- | coqtop.opt.1 | 392 | logplain |
| -rw-r--r-- | coqwc.1 | 592 | logplain |
| -rw-r--r-- | dune | 215 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |