| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Make | 3685 | logplain |
| -rw-r--r-- | Makefile | 722 | logplain |
| -rw-r--r-- | _CoqProject | 13 | logplain |
| d--------- | algebra | 935 | logplain |
| d--------- | all | 69 | logplain |
| d--------- | attic | 472 | logplain |
| d--------- | character | 597 | logplain |
| d--------- | field | 744 | logplain |
| d--------- | fingroup | 621 | logplain |
| d--------- | odd_order | 1671 | logplain |
| d--------- | real_closed | 702 | logplain |
| d--------- | solvable | 1041 | logplain |
| d--------- | ssreflect | 1184 | logplain |
| d--------- | ssrtest | 1877 | logplain |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |