| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | COMPATIBILITY | 533 | logplain |
| -rw-r--r-- | extensions.txt | 722 | logplain |
| -rw-r--r-- | naming-conventions.tex | 22807 | logplain |
| -rw-r--r-- | newsyntax.tex | 24840 | logplain |
| -rw-r--r-- | notes-on-conversion.v | 2572 | logplain |
| -rw-r--r-- | old_svn_branches.txt | 1345 | logplain |
| -rw-r--r-- | perf-analysis | 5715 | logplain |
| -rw-r--r-- | versions-history.tex | 14814 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |