| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ssrbool.v | 96997 | logplain |
| -rw-r--r-- | ssrclasses.v | 1453 | logplain |
| -rw-r--r-- | ssreflect.v | 32323 | logplain |
| -rw-r--r-- | ssrfun.v | 33767 | logplain |
| -rw-r--r-- | ssrsetoid.v | 1564 | logplain |
| -rw-r--r-- | ssrunder.v | 2983 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |