Topics:
- Github Notifications (10379 messages, latest: Sep 26 2023 at 09:32)
- question on coq-elpi.coq-master + coq.master (7 messages, latest: Sep 06 2023 at 13:11)
- real-closed for MC 2.0 (11 messages, latest: Sep 01 2023 at 14:16)
- 8.18 compatibility (11 messages, latest: Aug 10 2023 at 12:19)
- docker-mathcomp CI (24 messages, latest: Aug 10 2023 at 12:14)
- Status of MathComp CI (6 messages, latest: Jul 09 2023 at 15:38)
- Coercion Hook (6 messages, latest: Jul 03 2023 at 16:41)
- 2 questions about mathcomp/mathcomp-dev:coq-dev (MC master) (24 messages, latest: Jun 23 2023 at 16:11)
- Docker images building (4 messages, latest: Jun 15 2023 at 17:16)
- v2.0.0 release (10 messages, latest: May 10 2023 at 13:02)
- v1.17.0 release (5 messages, latest: May 10 2023 at 06:37)
- MathComp HB documentation spring sprint (14 messages, latest: Apr 16 2023 at 18:32)
- Missing subnKK? (5 messages, latest: Apr 15 2023 at 20:50)
- `find` trivial cases (2 messages, latest: Apr 04 2023 at 07:20)
- docker-mathcomp and free teams (10 messages, latest: Mar 25 2023 at 17:39)
- CI broken? (23 messages, latest: Mar 03 2023 at 01:23)
- v1.16.0 release (7 messages, latest: Feb 06 2023 at 11:46)
- 1.15.0 on 8.17+rc1 (6 messages, latest: Jan 04 2023 at 08:49)
- Docker images and num (6 messages, latest: Jan 01 2023 at 21:23)
- ✔ sumn_set_nthE (3 messages, latest: Nov 29 2022 at 20:18)
- Meeting 2022-11-02 (5 messages, latest: Nov 02 2022 at 09:19)
- extra-dev in mathcomp:1.15.0-coq-8.16 (12 messages, latest: Oct 28 2022 at 20:12)
- Abel package for 8.16 (1 message, latest: Oct 24 2022 at 07:59)
- breaking change of take_take (21 messages, latest: Oct 16 2022 at 18:40)
- More packages in MathComp Docker? (1 message, latest: Oct 15 2022 at 11:43)
- Docker MathComp coqide-server (60 messages, latest: Oct 14 2022 at 21:30)
- Branch protection in Coq-community (6 messages, latest: Oct 13 2022 at 16:09)
- Applying for GitLab for Open Source requires OSI license (22 messages, latest: Oct 02 2022 at 21:02)
- ✔ Ticket #928 (42 messages, latest: Sep 27 2022 at 14:13)
- subtype (2 messages, latest: Aug 31 2022 at 06:11)
- [IMPORTANT] Release of MathCom[IMPORTANp v1.15.0 in progress (6 messages, latest: Jul 03 2022 at 05:25)
- ✔ Strange error with finmap (14 messages, latest: May 24 2022 at 13:31)
- Setup to submit / rebase a PR (7 messages, latest: May 10 2022 at 16:29)
- stream events (2 messages, latest: May 04 2022 at 07:50)
- Typo handling in `rewrite` with `?` (1 message, latest: May 01 2022 at 20:01)
- 40%+ speedup in master? (17 messages, latest: Mar 22 2022 at 12:42)
- Move of fourcolor to coq-community (9 messages, latest: Mar 10 2022 at 21:32)
- mathcomp-ci GitHub topic (1 message, latest: Feb 04 2022 at 10:31)
- Nix / Cachix CI errors (4 messages, latest: Jan 24 2022 at 10:53)
- meeting 2022-01-20 (2 messages, latest: Jan 20 2022 at 14:12)
- v1.14.0 (3 messages, latest: Jan 19 2022 at 13:07)
- Fortnightly meetings (23 messages, latest: Jan 12 2022 at 08:47)
- `bigenough` fails to build (8 messages, latest: Dec 08 2021 at 11:48)
- pnp fork in math-comp org (1 message, latest: Dec 07 2021 at 16:26)
- Why is math-comp repo axiom free? (5 messages, latest: Nov 29 2021 at 20:39)
- Compatibility of ssreflect and SProp (16 messages, latest: Nov 04 2021 at 14:27)
- Trigger rebuilds of mathcomp-dev Docker images (6 messages, latest: Oct 18 2021 at 18:18)
- ssr rewrite tactic standalone (4 messages, latest: Oct 06 2021 at 08:36)
- Opam install of algebra-tactics (4 messages, latest: Oct 04 2021 at 10:15)
- coq.dev compatibility of 1.12.0 on opam (1 message, latest: Sep 07 2021 at 15:21)
- bounds in interval (6 messages, latest: Jul 21 2021 at 10:50)
- remove deprecated (10 messages, latest: Jun 07 2021 at 17:16)
- deprecation of `iter_add` (7 messages, latest: Apr 19 2021 at 15:58)
- regression with `sval` notaton (and maybe others) (4 messages, latest: Mar 11 2021 at 14:26)
- Meeting 2021-01-27 is canceled (1 message, latest: Jan 26 2021 at 20:42)
- name subtokenizer in MathComp repo? (3 messages, latest: Dec 08 2020 at 14:40)
- v1.12 release (4 messages, latest: Nov 27 2020 at 14:47)
- MathComp code on gforge (6 messages, latest: Nov 09 2020 at 08:33)
- lemma names (2 messages, latest: Sep 30 2020 at 11:14)
- notation-incompatible-format warnings are everywhere in 8.12 (14 messages, latest: Sep 15 2020 at 10:13)
- using coqbot to rebase (14 messages, latest: Sep 04 2020 at 21:57)
- size induction (1 message, latest: Sep 04 2020 at 09:17)
- backporting ssreflect, ssrbool and ssrfun to Coq (4 messages, latest: Aug 25 2020 at 14:14)
- rename disjoint_trans? (1 message, latest: Aug 19 2020 at 15:02)
- Release of odd-order for 1.11? (3 messages, latest: Aug 18 2020 at 19:21)
- warnings when buidling locally (10 messages, latest: Aug 11 2020 at 20:36)
- conflicts in CHANGELOG_UNRELEASED.md requiring rebase (16 messages, latest: Aug 11 2020 at 02:03)
- Packaging mczify for 8.11 and 8.12 (1 message, latest: Jul 24 2020 at 01:01)
- Recommended way of using classic ssreflect from Coq (35 messages, latest: Jul 02 2020 at 16:59)
- dependency version constraints for dev packages (15 messages, latest: Jun 30 2020 at 21:46)
- hierarchy.ml (17 messages, latest: Jun 16 2020 at 11:22)
- Ruling out betas for released packages in OPAM (4 messages, latest: Jun 11 2020 at 16:09)
- MathComp 1.11.0 OPAM packages Coq compatibility (23 messages, latest: Jun 10 2020 at 13:33)
- 1.11.0 release (8 messages, latest: Jun 10 2020 at 13:16)
- four-color takes more time on coq-dev (1 message, latest: Jun 08 2020 at 20:25)
- 1.11 beta versioning (47 messages, latest: Jun 02 2020 at 17:44)
- Issue 436 (call for PRs) (1 message, latest: May 21 2020 at 11:49)
- imported from gitter room math-comp/math-comp (227 messages, latest: Apr 28 2020 at 18:26)
Last updated: Sep 26 2023 at 12:02 UTC