aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2021-03-17Merge pull request #725 from math-comp/nix_v2Cyril Cohen
2021-03-17upCyril Cohen
2021-03-15update vscoq to 0.3.4Cyril Cohen
2021-03-15changing vscoq versionCyril Cohen
2021-03-15Merge pull request #723 from CohenCyril/gitpodCyril Cohen
2021-03-15fixup gitpod configCyril Cohen
2021-03-14more gitpod config (#722)Cyril Cohen
2021-03-14Try gitpod (#721)Cyril Cohen
2021-03-14Adding sorting on tuples. (#720)jouvelot
2021-03-14Merge pull request #719 from CohenCyril/nix_v2Cyril Cohen
2021-03-14toolbox updateCyril Cohen
2021-03-12Merge pull request #717 from CohenCyril/nix_v2Cyril Cohen
2021-03-12toolbox updateCyril Cohen
2021-03-12Merge pull request #716 from CohenCyril/nix_v2Cyril Cohen
2021-03-12update nix toolboxCyril Cohen
2021-03-12Update nix toolbox version (#715)Cyril Cohen
2021-03-12Merge pull request #714 from math-comp/nix_v2Cyril Cohen
2021-03-12Use nix-tool-boxCyril Cohen
2021-03-12Revert "Use nix-tool-box"Cyril Cohen
2021-03-12Use nix-tool-boxCyril Cohen
2021-03-12Merge pull request #708 from CohenCyril/hint_locality_silenceCyril Cohen
2021-03-08Merge pull request #703 from CohenCyril/blockmxLaurent Théry
2021-03-08Adding big block matricesCyril Cohen
2021-03-07Merge pull request #711 from math-comp/no-mc-devCyril Cohen
2021-03-07mathcomp analysis does not compire with Coq dev for nowCyril Cohen
2021-03-07Merge pull request #710 from CohenCyril/order_enumLaurent Théry
2021-03-07Adding Order.enum and related definitions and theoremsCyril Cohen
2021-03-04Silence Hint Locality warningCyril Cohen
2021-02-17Update nix.yml (#699)Cyril Cohen
2021-01-25Merge pull request #696 from CohenCyril/sumnBYves Bertot
2021-01-22Merge pull request #686 from pi8027/drop-coq-8.10Cyril Cohen
2021-01-22Remove deprecation aliases introduced in 1.9.0Kazuhiko Sakaguchi
2021-01-19Merge pull request #695 from affeldt-aist/interval_20210119Cyril Cohen
2021-01-19Update CHANGELOG_UNRELEASED.mdCyril Cohen
2021-01-19Adding lemma sumnBCyril Cohen
2021-01-19fixes #694Reynald Affeldt
2021-01-18Merge pull request #693 from affeldt-aist/interval_20210114Cyril Cohen
2021-01-16Drop support for Coq 8.10 and deprecate the `deprecate` notationKazuhiko Sakaguchi
2021-01-15Merge pull request #688 from pi8027/coq-8.13Cyril Cohen
2021-01-15[CI/CD] support Coq 8.13Kazuhiko Sakaguchi
2021-01-14itv_bound comparison with -oo/+ooReynald Affeldt
2021-01-13Update README.mdCyril Cohen
2021-01-13Update README.mdCyril Cohen
2021-01-12Merge pull request #680 from pi8027/pairwiseCyril Cohen
2021-01-09[CI/CD] Adding real-closed, analysis and multinomials (#692)Cyril Cohen
2021-01-05Merge pull request #690 from affeldt-aist/erroneous_warningKazuhiko Sakaguchi
2021-01-04erroneous deprecation warningReynald Affeldt
2020-12-16Merge pull request #685 from pi8027/nullary-notationsCyril Cohen
2020-12-16Change the interpretation scope of some nullary notations from ring_scope to ...Kazuhiko Sakaguchi
2020-12-16Add `pairwise r xs` predicateKazuhiko Sakaguchi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 14:46:45 +0000