| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Make | 2062 | logplain |
| -rw-r--r-- | Make.test-suite | 182 | logplain |
| -rw-r--r-- | Makefile | 134 | logplain |
| -rw-r--r-- | Makefile.common | 5488 | logplain |
| -rw-r--r-- | Makefile.test-suite.coq.local | 770 | logplain |
| -rw-r--r-- | _CoqProject | 237 | logplain |
| d--------- | algebra | 914 | logplain |
| d--------- | all | 69 | logplain |
| d--------- | character | 538 | logplain |
| d--------- | field | 647 | logplain |
| d--------- | fingroup | 562 | logplain |
| d--------- | solvable | 982 | logplain |
| d--------- | ssreflect | 1141 | logplain |
| d--------- | test_suite | 562 | logplain |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |