| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-04-17 | move odd_order to its own repository | Enrico Tassi | |
| 2018-02-06 | running semi-automated linting on the whole library | Cyril Cohen | |
| 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-07-28 | update copyright banner | Enrico Tassi | |
| 2015-07-17 | Updating files + reorganizing everything | Cyril Cohen | |
| 2015-03-09 | Initial commit | Enrico Tassi | |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |