| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | MERGING.md | 8373 | logplain |
| -rw-r--r-- | README.md | 2474 | logplain |
| -rw-r--r-- | SProp.md | 1843 | logplain |
| d--------- | archive | 360 | logplain |
| -rw-r--r-- | build-system.dev.txt | 6467 | logplain |
| -rw-r--r-- | build-system.dune.md | 6710 | logplain |
| -rw-r--r-- | build-system.txt | 5432 | logplain |
| -rw-r--r-- | changes.md | 59835 | logplain |
| -rw-r--r-- | coq-src-description.txt | 2099 | logplain |
| -rw-r--r-- | critical-bugs | 12360 | logplain |
| -rw-r--r-- | debugging.md | 4682 | logplain |
| -rw-r--r-- | drop.txt | 1379 | logplain |
| -rw-r--r-- | econstr.md | 5635 | logplain |
| -rw-r--r-- | primproj.md | 2352 | logplain |
| -rw-r--r-- | profiling.txt | 3866 | logplain |
| -rw-r--r-- | proof-engine.md | 6999 | logplain |
| -rw-r--r-- | release-process.md | 6204 | 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 | 22479 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |