| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 778 | logplain |
| d--------- | Bool | 252 | logplain |
| d--------- | Init | 428 | logplain |
| d--------- | IntMap | 651 | logplain |
| d--------- | Lists | 267 | logplain |
| d--------- | Logic | 528 | logplain |
| d--------- | Num | 1041 | logplain |
| d--------- | Reals | 1220 | logplain |
| d--------- | Relations | 295 | logplain |
| d--------- | Setoids | 36 | logplain |
| d--------- | Sets | 957 | logplain |
| d--------- | Sorting | 112 | logplain |
| d--------- | Wellfounded | 439 | logplain |
| d--------- | ZArith | 672 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |