| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 224 | logplain |
| d--------- | htmldoc | 24673 | logplain |
| -rw-r--r-- | index.html | 4451 | logplain |
| d--------- | javascripts | 40 | logplain |
| -rw-r--r-- | logo-MS-Research-Inria-Joint-Centre.png | 16642 | logplain |
| -rw-r--r-- | oo.html | 2975 | logplain |
| -rw-r--r-- | params.json | 1982 | logplain |
| d--------- | stylesheets | 82 | logplain |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
