aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2019-11-04Update README.mdGabriel Taumaturgo
2019-10-31Merge pull request #378 from pi8027/fix-ltngtPCyril Cohen
2019-10-30Change the order of arguments in `ltngtP`Kazuhiko Sakaguchi
2019-10-30Merge pull request #400 from pi8027/scale-typeCyril Cohen
2019-10-26Add an explicit type annotation to GRing.scaleKazuhiko Sakaguchi
2019-10-26Merge pull request #397 from CohenCyril/remove_addnKCLaurent Théry
2019-10-25Removing duplicate lemma `addnKC` (= `addKn`)Cyril Cohen
2019-10-25Merge pull request #396 from CohenCyril/edivnDLaurent Théry
2019-10-25Instances for empty type. (#393)Arthur Azevedo de Amorim
2019-10-25Stability proofs of sort (#358)Kazuhiko Sakaguchi
2019-10-25More arithmetic theoremsCyril Cohen
2019-10-24Added and generalized arithmetic theorems. (#394)Cyril Cohen
2019-10-21Merge pull request #365 from math-comp/ghpages-redirectMaxime Dénès
2019-10-18Add build for mathcomp/mathcomp-dev:coq-8.10 (#391)Erik Martin-Dorel
2019-10-16Merge pull request #203 from CohenCyril/improving_fintype_bigopMaxime Dénès
2019-10-16shifting to CHANGELOG_UNRELEASEDCyril Cohen
2019-10-16renaming new `reindex_` lemmas with prefix `big_`Cyril Cohen
2019-10-16Improving fintype and bigopCyril Cohen
2019-10-16removing everything but index which redirects to the new pageCyril Cohen
2019-10-15Merge pull request #390 from thery/docCyril Cohen
2019-10-14typothery
2019-10-07Merge pull request #384 from pi8027/hierarchyCyril Cohen
2019-10-07Merge pull request #387 from pi8027/seq-lemmasCyril Cohen
2019-10-05Add flatten_map1 and allpairs_consrKazuhiko Sakaguchi
2019-10-02Fix and improve the test suite and MakefileKazuhiko Sakaguchi
2019-10-01Merge pull request #386 from pi8027/allpairsCyril Cohen
2019-09-30Generalize `allpairs_catr` to non-`eqType`sKazuhiko Sakaguchi
2019-09-30Euclid theorem for product (#375)Laurent Théry
2019-09-30ffact as a product similar to fact_prod (#374)Laurent Théry
2019-09-28maxn comment fix (#385)Antonio Nikishaev
2019-09-24Merge pull request #380 from pi8027/ring-core-scopeCyril Cohen
2019-09-18Fix a typo: ring_core_scope -> ring_scopeKazuhiko Sakaguchi
2019-09-16fermat little theoremthery
2019-09-05Redirects to math-comp.github.ioCyril Cohen
2019-08-12Merge pull request #376 from erikmd/fix-gitlab-yamlCyril Cohen
2019-08-10fix(.gitlab-ci.yml): duplicated "variables:" entryErik Martin-Dorel
2019-08-02Merge pull request #373 from erikmd/improve-ciCyril Cohen
2019-07-30[ci] Adapt the GitLab CI config to allow scheduled builds for coq-devErik Martin-Dorel
2019-07-30[ci] Add jobs {ci-fourcolor-8.9, ci-odd-order-8.9}Erik Martin-Dorel
2019-07-30refactor: deploy jobs need not clone the repoErik Martin-Dorel
2019-07-29style: fix indentation detailErik Martin-Dorel
2019-07-11Merge pull request #369 from thery/totientCyril Cohen
2019-07-10totient for primethery
2019-07-05feat(finfun.v): Add tuple_of_finfun, finfun_of_tuple & cancel lemmasCyril Cohen
2019-06-26Merge pull request #364 from erikmd/update/changelogCyril Cohen
2019-06-26docs: Add missing entry in CHANGELOG.mdErik Martin-Dorel
2019-06-18Merge pull request #340 from pi8027/hierarchyEnrico
2019-06-11Merge pull request #302 from CohenCyril/fixsetGeorges Gonthier
2019-06-04Fixpoint theorems in finsetCyril Cohen
2019-05-29Merge pull request #353 from anton-trunov/update-ciCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:17:20 +0000