| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-07-31 | agressive fix for duplicated files! | Cyril Cohen | |
| 2018-07-12 | Replace all the CoInductives with Variants | Kazuhiko Sakaguchi | |
| 2017-10-30 | Fix obsolete vernacular syntax for locality. | Maxime Dénès | |
| It was emitting a deprecation warning and will soon be removed from Coq. | |||
| 2017-06-09 | fix compilation on 8.6 | Enrico Tassi | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |