Topics:
- Github Notifications (7910 messages, latest: Jul 06 2022 at 19:20)
- [IMPORTANT] Release of MathCom[IMPORTANp v1.15.0 in progress (6 messages, latest: Jul 03 2022 at 05:25)
- subtype (1 message, latest: Jun 01 2022 at 12:18)
- ✔ Strange error with finmap (5 messages, latest: May 24 2022 at 13:31)
- Strange error with finmap (9 messages, latest: May 24 2022 at 10:20)
- 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)
- docker-mathcomp CI (4 messages, latest: Jul 29 2021 at 09:05)
- 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: Jul 07 2022 at 04:04 UTC