| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | 12218-proux01-numeral-notations-non-inductive.sh | 650 | logplain |
| -rw-r--r-- | 12449-SkySkimmer-minim-prop-toset.sh | 172 | logplain |
| -rw-r--r-- | 12611-ejgallego-record+refactor.sh | 267 | logplain |
| -rw-r--r-- | 12653-SkySkimmer-cumul-syntax.sh | 521 | logplain |
| -rw-r--r-- | 12873-master+minifix-unification-error-reporting-recheck-applications.sh | 257 | logplain |
| -rw-r--r-- | 13075-ppedrot-explicit-names-quotient.sh | 306 | logplain |
| -rw-r--r-- | 13128-SkySkimmer-noinstance.sh | 149 | logplain |
| -rw-r--r-- | 13139-ppedrot-clean-hint-constr.sh | 295 | logplain |
| -rw-r--r-- | 13166-herbelin-master+fixes13165-missing-impargs-defined-fields.sh | 243 | logplain |
| -rw-r--r-- | 13312-ejgallego-attributes+bool_single.sh | 250 | logplain |
| -rw-r--r-- | 13386-master+fix9971-primproj-canonical-structure-on-evar-type.sh | 335 | logplain |
| -rw-r--r-- | README.md | 1599 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |