aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-06-08Documenting addition policy to coq.Cyril Cohen
2020-06-06bugfixCyril Cohen
2020-06-06fix the changelogReynald Affeldt
2020-06-06add new lemmas to the changelogReynald Affeldt
2020-06-06Missing homo_mono lemmasCyril Cohen
2020-06-06Merge pull request #516 from CohenCyril/maxraffeldt-aist
2020-06-06ImprovementsCyril Cohen
2020-06-06tentative changelogReynald Affeldt
2020-06-06General theory of min and max, and use in ssrnumCyril Cohen
2020-06-06Increasing definitional equalitiesCyril Cohen
2020-06-06Generalizing max and min to porderTypeCyril Cohen
2020-06-05Merge pull request #514 from affeldt-aist/lemmas_from_analysis_20200521Yves Bertot
2020-06-05fix namingReynald Affeldt
2020-06-05Missing mono lemmas (#513)Cyril Cohen
2020-06-04fix changelogReynald Affeldt
2020-06-04fix md formattingReynald Affeldt
2020-06-04fix namingReynald Affeldt
2020-06-03Merge pull request #520 from CohenCyril/cachix-actionCyril Cohen
2020-06-03update default nix and setup cachixCyril Cohen
2020-06-03add real_* variantsReynald Affeldt
2020-06-02another lemma about norm from mathcomp-analysisReynald Affeldt
2020-05-28Merge pull request #511 from CohenCyril/nixYves Bertot
2020-05-28Merge pull request #504 from pi8027/selectorsaffeldt-aist
2020-05-27URL in httpsCyril Cohen
2020-05-22tentative change of naming convention and add variantsReynald Affeldt
2020-05-21three lemmas that we found useful in the context of theReynald Affeldt
2020-05-16A few more revisionsKazuhiko Sakaguchi
2020-05-15adding default nix shellCyril Cohen
2020-05-13Revise proofs in ssreflect/*.vKazuhiko Sakaguchi
2020-05-06Merge pull request #495 from pi8027/post-cleaning-pr429Cyril Cohen
2020-05-06Reword a CHANGELOG entry introduced in #429Kazuhiko Sakaguchi
2020-05-04Merge pull request #498 from chdoc/doc-in-memCyril Cohen
2020-05-04document 'in_' and 'mem_' prefixes for infix membershipChristian Doczkal
2020-05-04Merge pull request #493 from pi8027/rm-tuple-lemmas-in-orderCyril Cohen
2020-05-04Merge pull request #490 from pi8027/fix-fin-dual-orderCyril Cohen
2020-05-04Remove the tuple extensions in order.v that is available in tuple.vKazuhiko Sakaguchi
2020-04-21Add dual_finLatticeType and fix dual_finDistrLatticeTypeKazuhiko Sakaguchi
2020-04-15fix packagerCyril Cohen
2020-04-15Merge pull request #487 from affeldt-aist/changelogs_release_1.11.0+beta1Yves Bertot
2020-04-15preparing changelogs to release 1.11.0+beta1Reynald Affeldt
2020-04-15Merge pull request #221 from hivert/permcomplaffeldt-aist
2020-04-15reworked new lemmas in perm and action and added missing onesCyril Cohen
2020-04-15addressing comments about PR#221 of mathcompReynald Affeldt
2020-04-15Some more lemmas on permutationsFlorent Hivert
2020-04-15Merge pull request #475 from CohenCyril/ssrnat_deprecated_symbolsaffeldt-aist
2020-04-10adding depreciations in ssrnatCyril Cohen
2020-04-10Merge pull request #471 from math-comp/all2_guard_condaffeldt-aist
2020-04-10Merge pull request #477 from affeldt-aist/move_good_practice_from_wikiCyril Cohen
2020-04-10adding guard conditions check to the test_suiteCyril Cohen
2020-04-10Make `all2` better wrt the guard conditionCyril Cohen
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 21:51:44 +0000