| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Equivalence.v | 6695 | logplain |
| -rw-r--r-- | Functions.v | 1690 | logplain |
| -rw-r--r-- | Init.v | 949 | logplain |
| -rw-r--r-- | Morphisms.v | 11887 | logplain |
| -rw-r--r-- | Relations.v | 12733 | logplain |
| -rw-r--r-- | SetoidClass.v | 6141 | logplain |
| -rw-r--r-- | SetoidDec.v | 3981 | logplain |
| -rw-r--r-- | SetoidTactics.v | 1313 | logplain |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |