| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | INSTALL.make.md | 10363 | logplain |
| -rw-r--r-- | README.md | 2246 | logplain |
| -rw-r--r-- | SProp.md | 2823 | logplain |
| d--------- | archive | 360 | logplain |
| -rw-r--r-- | build-system.dev.txt | 6464 | logplain |
| -rw-r--r-- | build-system.dune.md | 7625 | logplain |
| -rw-r--r-- | build-system.txt | 5426 | logplain |
| -rw-r--r-- | changes.md | 64296 | logplain |
| -rw-r--r-- | coq-src-description.txt | 2099 | logplain |
| -rw-r--r-- | critical-bugs | 18096 | logplain |
| -rw-r--r-- | debugging.md | 4682 | logplain |
| -rw-r--r-- | drop.txt | 1379 | logplain |
| -rw-r--r-- | econstr.md | 5636 | logplain |
| -rw-r--r-- | parsing.md | 16049 | logplain |
| -rw-r--r-- | primproj.md | 2352 | logplain |
| -rw-r--r-- | profiling.txt | 3866 | logplain |
| -rw-r--r-- | proof-engine.md | 6998 | logplain |
| -rw-r--r-- | release-process.md | 9671 | logplain |
| -rw-r--r-- | shield-icon.png | 2512 | logplain |
| -rw-r--r-- | style.txt | 6287 | logplain |
| -rw-r--r-- | unification.txt | 5269 | logplain |
| -rw-r--r-- | universes.md | 10603 | logplain |
| -rw-r--r-- | xml-protocol.md | 24805 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
