| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-02-06 | running semi-automated linting on the whole library | Cyril Cohen | |
| 2018-02-05 | tide up proof of card_inj_ffuns | Enrico Tassi | |
| 2016-11-07 | update copyright banner | Assia Mahboubi | |
| 2016-09-16 | Refactoring of binonial | thery | |
| Variable renaming from 'C(m,n) to 'C(n,m) Renaming theorem mul_Sm_binn to mul_bin_diag Adding theorems mul_bin_left mul_bin_right | |||
| 2015-11-05 | merge basic/ into ssreflect/ | Enrico Tassi | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |