| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | coq-tex.1 | 3057 | logplain |
| -rw-r--r-- | coq_makefile.1 | 449 | logplain |
| -rw-r--r-- | coqc.1 | 935 | logplain |
| -rw-r--r-- | coqchk.1 | 1910 | logplain |
| -rw-r--r-- | coqdep.1 | 2843 | logplain |
| -rw-r--r-- | coqdoc.1 | 4539 | logplain |
| -rw-r--r-- | coqide.1 | 2074 | logplain |
| -rw-r--r-- | coqtop.1 | 1954 | logplain |
| -rw-r--r-- | coqtop.byte.1 | 370 | logplain |
| -rw-r--r-- | coqtop.opt.1 | 373 | logplain |
| -rw-r--r-- | coqwc.1 | 570 | logplain |
| -rw-r--r-- | dune | 215 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |