| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 11566-ejgallego-exninfo+coercion.sh | 177 | logplain |
| -rw-r--r-- | 11922-ppedrot-rm-local-reductionops.sh | 301 | logplain |
| -rw-r--r-- | 11948-proux01-hexadecimal.sh | 352 | logplain |
| -rw-r--r-- | 12267-gares-elpi-1.11.sh | 160 | logplain |
| -rw-r--r-- | 8808-herbelin-master+support-binder+term-in-abbrev.sh | 236 | logplain |
| -rw-r--r-- | 8855-herbelin-master+more-search-options.sh | 339 | logplain |
| -rw-r--r-- | README.md | 1846 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |