| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 00669-maximedenes-ssr-merge.sh | 182 | logplain |
| -rw-r--r-- | 07085-ppedrot-pure-sharing-flag.sh | 214 | logplain |
| -rw-r--r-- | 07257-herbelin-master+fix-yet-another-unif-dep-in-alphabet.sh | 251 | logplain |
| -rw-r--r-- | 07288-herbelin-master+new-module-pretyping-id-management.sh | 212 | logplain |
| -rw-r--r-- | README.md | 1494 | logplain |
| -rw-r--r-- | jasongross-numeral-notation-4.sh | 232 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |