| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 783 | logplain |
| d--------- | Bool | 289 | logplain |
| d--------- | FSets | 1157 | logplain |
| d--------- | Init | 330 | logplain |
| d--------- | IntMap | 547 | logplain |
| d--------- | Ints | 201 | logplain |
| d--------- | Lists | 304 | logplain |
| d--------- | Logic | 1248 | logplain |
| d--------- | NArith | 319 | logplain |
| d--------- | Numbers | 179 | logplain |
| d--------- | Program | 233 | logplain |
| d--------- | QArith | 366 | logplain |
| d--------- | Reals | 2139 | logplain |
| d--------- | Relations | 295 | logplain |
| d--------- | Setoids | 154 | logplain |
| d--------- | Sets | 957 | logplain |
| d--------- | Sorting | 229 | logplain |
| d--------- | Strings | 71 | logplain |
| d--------- | Wellfounded | 439 | logplain |
| d--------- | ZArith | 1133 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |