| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | UbuntuMono-Square.ttf | 38104 | logplain |
| -rw-r--r-- | ansi-dark.css | 2230 | logplain |
| -rw-r--r-- | ansi.css | 2266 | logplain |
| -rw-r--r-- | coqdoc.css | 1416 | logplain |
| -rw-r--r-- | coqide-queries.png | 66656 | logplain |
| -rw-r--r-- | coqide.png | 59662 | logplain |
| -rw-r--r-- | coqnotations.sty | 1931 | logplain |
| -rw-r--r-- | notations.css | 4547 | logplain |
| -rw-r--r-- | notations.js | 1656 | logplain |
| -rw-r--r-- | pre-text.css | 1015 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
