Topics:
- Repository Events (175 messages, latest: Feb 15 2023 at 16:26)
- ✔ Project and dune (10 messages, latest: Feb 13 2023 at 17:18)
- Coq-contribs (14 messages, latest: Feb 10 2023 at 16:28)
- extracted code & IPC (24 messages, latest: Feb 09 2023 at 16:07)
- Issues with YAML format (7 messages, latest: Feb 06 2023 at 23:55)
- New Docker-Coq co-maintainer (3 messages, latest: Feb 03 2023 at 10:37)
- Manifesto Notifications (248 messages, latest: Jan 24 2023 at 21:02)
- Meta-project to consolidate Coq libraries (17 messages, latest: Dec 11 2022 at 20:14)
- Octobox (3 messages, latest: Dec 07 2022 at 14:28)
- Slack (4 messages, latest: Dec 05 2022 at 08:55)
- Repo maintenance in CPMOs (8 messages, latest: Nov 30 2022 at 11:38)
- Backup merging for Coq CI projects (28 messages, latest: Nov 23 2022 at 17:55)
- Enable fine-grained access tokens (7 messages, latest: Nov 18 2022 at 08:58)
- Deprecations for Docker-Coq-Action (13 messages, latest: Nov 15 2022 at 08:02)
- ✔ Sudoku (21 messages, latest: Oct 19 2022 at 11:40)
- Apery (5 messages, latest: Oct 15 2022 at 23:54)
- Dependency graph submission API (10 messages, latest: Sep 29 2022 at 17:45)
- Redundant file in coq-art repo (3 messages, latest: Sep 23 2022 at 09:40)
- Citation automation and bibliographical data (17 messages, latest: Sep 14 2022 at 12:43)
- latest opam (2.1.3) and dune (3.4.1) in docker-coq (3 messages, latest: Sep 05 2022 at 13:07)
- Zulip case studies (1 message, latest: Aug 13 2022 at 13:51)
- GitLab deleting inactive projects (6 messages, latest: Aug 07 2022 at 16:41)
- Rolling back Scheme changes for Coq'Art (22 messages, latest: Jul 23 2022 at 18:14)
- Functional algorithms verified (12 messages, latest: Jul 14 2022 at 12:01)
- Why Coq 8.5.3 now FTBFS? (19 messages, latest: Jun 30 2022 at 11:11)
- ✔ Docker images based on oldstable (10 messages, latest: Jun 29 2022 at 12:03)
- docker-keeper must be updated to 0.8.20 (3 messages, latest: Jun 29 2022 at 07:36)
- Recommending VsCode vs. VsCodium (18 messages, latest: Jun 23 2022 at 09:53)
- Coq-community templates v2 (48 messages, latest: Jun 17 2022 at 13:05)
- ✔ coq:dev Docker tag currently unavailable (15 messages, latest: Jun 14 2022 at 20:58)
- dpd-graph (57 messages, latest: Jun 14 2022 at 15:46)
- docker coq action with more recent dune (8 messages, latest: Jun 07 2022 at 17:21)
- Apery PR (18 messages, latest: May 05 2022 at 07:49)
- Alectryon (6 messages, latest: Apr 29 2022 at 11:32)
- Zulip links (3 messages, latest: Apr 21 2022 at 15:00)
- stream events (2 messages, latest: Apr 21 2022 at 14:59)
- Advising against licenses? (143 messages, latest: Apr 20 2022 at 14:10)
- Docker-Coq-Action users (1 message, latest: Apr 09 2022 at 21:19)
- Github CI and incremental builds (16 messages, latest: Mar 26 2022 at 20:42)
- continuous coqdoc deployment (1 message, latest: Mar 26 2022 at 20:30)
- Sister organizations on GitHub (12 messages, latest: Mar 15 2022 at 19:45)
- Custom docker images (38 messages, latest: Mar 10 2022 at 23:16)
- Man pages (1 message, latest: Feb 28 2022 at 10:39)
- How to properly use coq-community/templates (10 messages, latest: Feb 07 2022 at 15:50)
- Project recommendations and warnings (1 message, latest: Jan 01 2022 at 15:19)
- docker images for 8.15 (rc1) (3 messages, latest: Dec 19 2021 at 17:14)
- License for performance history repo (6 messages, latest: Nov 30 2021 at 16:03)
- License for website repo (3 messages, latest: Nov 29 2021 at 20:25)
- Coq vs. Lean comparison (7 messages, latest: Nov 28 2021 at 14:06)
- Weak lemmas from regexp-Brzozowski (4 messages, latest: Nov 25 2021 at 15:03)
- Languages and Chomsky hierarchy (9 messages, latest: Nov 25 2021 at 15:01)
- Pull requests to contribs (4 messages, latest: Nov 19 2021 at 18:26)
- GitHub disabling Actions (8 messages, latest: Nov 15 2021 at 11:27)
- useful repo tags (2 messages, latest: Oct 30 2021 at 14:02)
- gaia CI (2 messages, latest: Oct 21 2021 at 08:02)
- ✔ [fixed][opam] compilation regression ? (5 messages, latest: Oct 19 2021 at 21:41)
- new features in aac-tactics (1 message, latest: Oct 12 2021 at 16:11)
- ✔ if you experienced slower CI builds with `coqorg/coq:8.... (1 message, latest: Sep 27 2021 at 23:15)
- LSP server status? (1 message, latest: Sep 16 2021 at 14:10)
- ✔ docker image _with_ Coq (6 messages, latest: Sep 14 2021 at 13:28)
- Templates for Coq projects (4 messages, latest: Sep 13 2021 at 17:50)
- open source vs. OSI (30 messages, latest: Sep 08 2021 at 12:35)
- Add "outputs" option to docker action (8 messages, latest: Aug 11 2021 at 18:36)
- coq-bits (4 messages, latest: May 05 2021 at 02:25)
- multi-package repositories (34 messages, latest: Apr 09 2021 at 13:51)
- hydra-battles and templates (5 messages, latest: Jan 21 2021 at 10:03)
- reglang release for 8.13 (19 messages, latest: Jan 14 2021 at 09:52)
- " funny maths" (7 messages, latest: Jan 13 2021 at 14:31)
- Maintenance status of zorns-lemma and topology (19 messages, latest: Jan 11 2021 at 19:31)
- GitHub Codespaces (13 messages, latest: Jan 05 2021 at 18:40)
- Recommended Project Structure with local library (17 messages, latest: Jan 05 2021 at 15:52)
- New maintainers of topology and zorns-lemma (13 messages, latest: Dec 20 2020 at 20:00)
- ATBR maintenance (4 messages, latest: Dec 14 2020 at 18:39)
- New Travis limits. (87 messages, latest: Dec 08 2020 at 14:08)
- docker-coq-action-multi-opam-demo (1 message, latest: Dec 03 2020 at 01:20)
- Dune in README or not? (108 messages, latest: Dec 02 2020 at 23:20)
- Parallel programming (1 message, latest: Nov 17 2020 at 15:21)
- DockerHub anonymous pull rate limits (5 messages, latest: Nov 01 2020 at 10:52)
- Takedown of GitHub repos (4 messages, latest: Oct 29 2020 at 12:00)
- Release of HighSchoolGeometry with Ptomely's theorem (2 messages, latest: Oct 19 2020 at 10:49)
- coq-community project growth (4 messages, latest: Oct 15 2020 at 08:50)
- Handling custom dependencies in CI (18 messages, latest: Oct 15 2020 at 07:43)
- coqffi (31 messages, latest: Oct 12 2020 at 20:15)
- handling unmerged important PRs (11 messages, latest: Oct 12 2020 at 09:07)
- Coq version project attrition (2 messages, latest: Oct 11 2020 at 19:35)
- Common criteria guidelines in coq-community projects (4 messages, latest: Sep 24 2020 at 14:43)
- CECILL licenses and (L)GPL compatibility (1 message, latest: Sep 23 2020 at 09:57)
- coqdoc hosting for comp-dec-modal (28 messages, latest: Sep 15 2020 at 09:25)
- Publications in metadata (9 messages, latest: Sep 14 2020 at 09:04)
- Standardizing project descriptions (9 messages, latest: Sep 08 2020 at 12:30)
- CUDW 2020 [poll] (19 messages, latest: Sep 05 2020 at 11:56)
- Licensing requirements (11 messages, latest: Aug 31 2020 at 19:37)
- Advertising for co-maintainers (6 messages, latest: Aug 31 2020 at 14:16)
- Cachix builds with Travis not working (again) (3 messages, latest: Aug 29 2020 at 14:34)
- Listing bitrotted math on coq-community wiki (19 messages, latest: Aug 20 2020 at 07:26)
- Documentation (42 messages, latest: Aug 19 2020 at 13:33)
- Advertising coq-community (11 messages, latest: Aug 19 2020 at 13:08)
- state of the community 2020 (5 messages, latest: Aug 19 2020 at 11:59)
- New maintainers of bertrand and qarith-stern-brocot? (5 messages, latest: Aug 19 2020 at 10:39)
- Alternatives to mustache for the templates (17 messages, latest: Aug 18 2020 at 21:09)
- Bullet spacing issues with README.md.mustache (8 messages, latest: Aug 12 2020 at 14:12)
- coq-ext-lib : No proof for FMapTwoThreeK (4 messages, latest: Aug 02 2020 at 13:38)
- GitLab mirroring issues (8 messages, latest: Jul 27 2020 at 08:38)
- flambda-using Docker-Coq images (81 messages, latest: Jul 26 2020 at 16:05)
- webhooks (6 messages, latest: Jul 21 2020 at 20:42)
- Editing Descriptions (6 messages, latest: Jul 21 2020 at 18:43)
- Wasm (44 messages, latest: Jul 18 2020 at 11:28)
- High School Geometry (3 messages, latest: Jul 04 2020 at 10:31)
- GitLab pipeline on coq-community/docker-base does not start? (15 messages, latest: Jul 01 2020 at 10:04)
- released opam package for graph-theory 0.7 (3 messages, latest: Jun 26 2020 at 10:34)
- 8.12+beta1 in Docker-Coq? (5 messages, latest: Jun 23 2020 at 11:30)
- Comparing coq-community to Isabelle (3 messages, latest: Jun 20 2020 at 11:28)
- Coq dependencies in docker-base (12 messages, latest: Jun 19 2020 at 22:14)
- Example of MIT Licensed coq-community project (9 messages, latest: Jun 19 2020 at 12:20)
- Removing omega from RegLang (7 messages, latest: Jun 18 2020 at 21:12)
- Pre-call for volunteers to improve the manual (4 messages, latest: Jun 16 2020 at 20:29)
- CoLoR on Github (4 messages, latest: Jun 16 2020 at 11:01)
- Tips for @CoqLang tweets (7 messages, latest: Jun 13 2020 at 14:00)
- What are the preferred open source licenses? (32 messages, latest: Jun 11 2020 at 21:56)
- Migrating Proviola to GitHub (41 messages, latest: Jun 06 2020 at 20:58)
- author in opam packages (14 messages, latest: Jun 05 2020 at 13:38)
- Keeping old maintainers in meta.yml (11 messages, latest: Jun 02 2020 at 14:54)
- opam & nix (1 message, latest: Jun 02 2020 at 12:26)
- Additional Streams? (2 messages, latest: Jun 02 2020 at 12:21)
- templates (5 messages, latest: Jun 01 2020 at 20:08)
- GitHub notifications integration (3 messages, latest: May 31 2020 at 16:34)
- Zenodo down? (3 messages, latest: May 29 2020 at 20:28)
- Software foundations (16 messages, latest: May 29 2020 at 10:06)
- Chat button in README.md (2 messages, latest: May 27 2020 at 16:20)
- templates choice of open source license (13 messages, latest: May 27 2020 at 13:49)
- Inter Zulip communication (3 messages, latest: May 08 2020 at 09:59)
- imported from gitter room coq-community/Lobby (1385 messages, latest: May 05 2020 at 20:29)
Last updated: Mar 25 2023 at 06:28 UTC