| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | INSTALL.make.md | 9883 | logplain |
| -rw-r--r-- | MERGING.md | 8405 | logplain |
| -rw-r--r-- | README.md | 2246 | 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 | 6807 | logplain |
| -rw-r--r-- | build-system.txt | 5426 | logplain |
| -rw-r--r-- | changes.md | 62732 | logplain |
| -rw-r--r-- | coq-src-description.txt | 2099 | logplain |
| -rw-r--r-- | critical-bugs | 16568 | 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 | 8281 | 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 | 24785 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |