| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-11-19 | add declare scopes | Reynald Affeldt |
| 2020-08-13 | fix non-reversible-notation warnings | Christian Doczkal |
| 2020-04-06 | Some proof scripts made better using ssrAC. | Cyril Cohen |
| 2020-04-06 | Rewriting with AC (not modulo AC), using a small scale command. | Cyril Cohen |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |