| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 814 | logplain |
| d--------- | Bool | 327 | logplain |
| d--------- | Init | 372 | logplain |
| d--------- | IntMap | 689 | logplain |
| d--------- | Lists | 343 | logplain |
| d--------- | Logic | 832 | logplain |
| d--------- | NArith | 108 | logplain |
| d--------- | Num | 1079 | logplain |
| d--------- | Reals | 2134 | logplain |
| d--------- | Relations | 333 | logplain |
| d--------- | Setoids | 74 | logplain |
| d--------- | Sets | 995 | logplain |
| d--------- | Sorting | 150 | logplain |
| d--------- | Wellfounded | 477 | logplain |
| d--------- | ZArith | 886 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |