| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 10390-SkySkimmer-uip.sh | 877 | logplain |
| -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-- | 12372-ejgallego-proof+info.sh | 728 | logplain |
| -rw-r--r-- | 12505-ppedrot-factor-hint-flags.sh | 192 | logplain |
| -rw-r--r-- | 12523-term-notation-custom.sh | 181 | logplain |
| -rw-r--r-- | 12599-ppedrot-rm-deprecated-refiner.sh | 201 | 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 |