| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Make | 3688 | logplain |
| -rw-r--r-- | Makefile | 1121 | logplain |
| -rw-r--r-- | _CoqProject | 13 | logplain |
| d--------- | algebra | 902 | logplain |
| d--------- | all | 69 | logplain |
| d--------- | attic | 472 | logplain |
| d--------- | basic | 718 | logplain |
| d--------- | character | 602 | logplain |
| d--------- | field | 673 | logplain |
| d--------- | fingroup | 588 | logplain |
| d--------- | odd_order | 1638 | logplain |
| d--------- | real_closed | 669 | logplain |
| d--------- | solvable | 1008 | logplain |
| d--------- | ssreflect | 574 | logplain |
| d--------- | ssrtest | 1664 | logplain |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |