| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-07-10 | totient for prime | thery |
| 2019-07-05 | feat(finfun.v): Add tuple_of_finfun, finfun_of_tuple & cancel lemmas | Cyril Cohen |
| 2019-06-04 | Fixpoint theorems in finset | Cyril Cohen |
| 2019-05-29 | reword entry in CHANGELOG_UNRELEASED.md | Anton Trunov |
| 2019-05-29 | Move unreleased changelog entries to CHANGELOG_UNRELEASED.md | Anton Trunov |
 |
index : coq-mathcomp | |
| Library of mathematical components formalized in Coq |
| aboutsummaryrefslogtreecommitdiff |
path: root/CHANGELOG_UNRELEASED.md