| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | MERGING.md | 8405 | logplain |
| -rw-r--r-- | README.md | 2035 | logplain |
| -rw-r--r-- | SProp.md | 1843 | logplain |
| d--------- | archive | 360 | logplain |
| -rw-r--r-- | build-system.dev.txt | 6464 | logplain |
| -rw-r--r-- | build-system.dune.md | 6795 | logplain |
| -rw-r--r-- | build-system.txt | 5426 | logplain |
| -rw-r--r-- | changes.md | 62326 | logplain |
| -rw-r--r-- | coq-src-description.txt | 2099 | logplain |
| -rw-r--r-- | critical-bugs | 13165 | 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-- | 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 | 7111 | 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 | 22478 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |