| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-04-04 | remove support for Coq 8.6 | Enrico Tassi | |
| 2018-11-19 | Improve documentation of phant_id usage | Georges Gonthier | |
| Point out the use of id/idfun to control printing of notation. (as suggested by @anton-trunov - see #247) | |||
| 2018-07-31 | agressive fix for duplicated files! | Cyril Cohen | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |