| Mode | Name | Size | |
|---|---|---|---|
| d--------- | Arith | 675 | logplain |
| d--------- | Bool | 179 | logplain |
| d--------- | Init | 428 | logplain |
| d--------- | Lists | 230 | logplain |
| d--------- | Logic | 298 | logplain |
| d--------- | Num | 642 | logplain |
| d--------- | Reals | 413 | logplain |
| d--------- | Relations | 258 | logplain |
| d--------- | Sets | 920 | logplain |
| d--------- | Wellfounded | 402 | logplain |
| d--------- | Zarith | 303 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |