| 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-- | coqnotations.sty | 1931 | logplain |
| -rw-r--r-- | notations.css | 4621 | logplain |
| -rw-r--r-- | notations.js | 1656 | logplain |
| -rw-r--r-- | pre-text.css | 1015 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |