| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00-title.rst | 38 | logplain |
| d--------- | 01-kernel | 148 | logplain |
| d--------- | 02-specification-language | 43 | logplain |
| d--------- | 03-notations | 204 | logplain |
| d--------- | 04-tactics | 826 | logplain |
| d--------- | 05-tactic-language | 381 | logplain |
| d--------- | 06-ssreflect | 144 | logplain |
| d--------- | 07-vernac-commands-and-options | 486 | logplain |
| d--------- | 08-cli-tools | 156 | logplain |
| d--------- | 09-coqide | 110 | logplain |
| d--------- | 10-standard-library | 393 | logplain |
| d--------- | 11-infrastructure-and-dependencies | 98 | logplain |
| d--------- | 12-misc | 159 | logplain |
| -rw-r--r-- | README.md | 2020 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |