| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | CoqNotations.ttf | 37988 | logplain |
| -rw-r--r-- | ansi-dark.css | 2230 | logplain |
| -rw-r--r-- | ansi.css | 2266 | logplain |
| -rw-r--r-- | coqdoc.css | 1462 | logplain |
| -rw-r--r-- | coqide-queries.png | 66656 | logplain |
| -rw-r--r-- | coqide.png | 59662 | logplain |
| -rw-r--r-- | coqnotations.sty | 3368 | logplain |
| -rw-r--r-- | diffs-coqide-compacted.png | 1723 | logplain |
| -rw-r--r-- | diffs-coqide-multigoal.png | 2172 | logplain |
| -rw-r--r-- | diffs-coqide-on.png | 2518 | logplain |
| -rw-r--r-- | diffs-coqide-removed.png | 4187 | logplain |
| -rw-r--r-- | diffs-coqtop-compacted.png | 3458 | logplain |
| -rw-r--r-- | diffs-coqtop-multigoal.png | 4601 | logplain |
| -rw-r--r-- | diffs-coqtop-on.png | 7038 | logplain |
| -rw-r--r-- | diffs-coqtop-on3.png | 2125 | logplain |
| -rw-r--r-- | diffs-error-message.png | 5607 | logplain |
| -rw-r--r-- | diffs-show-proof.png | 13641 | logplain |
| -rw-r--r-- | notations.css | 6300 | logplain |
| -rw-r--r-- | notations.js | 1656 | logplain |
| -rw-r--r-- | pre-text.css | 1015 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
