Stream: GitHub notifications

Topic: Coq Notifications


view this post on Zulip Coq Github Bot (May 07 2020 at 19:38):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Coq Github Bot (May 07 2020 at 19:41):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Théo Zimmermann (May 07 2020 at 19:44):

Obviously, we shouldn't have all GitHub events result in a new Zulip message, so I've selected a bunch of things that will mostly be non-redundant with GitHub notifications, like wiki edits, team membership changes, repository creation and, specifically at the level of the Coq repository, branch and tag creation and deletion.

view this post on Zulip Coq Github Bot (May 08 2020 at 10:18):

Zimmi48:

view this post on Zulip Coq Github Bot (May 08 2020 at 10:25):

ppedrot pushed 7 commits to branch master. Commits by herbelin (6) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 08 2020 at 10:27):

ppedrot pushed 4 commits to branch master. Commits by herbelin (3) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 08 2020 at 10:31):

Zimmi48 pushed 3 commits to branch master. Commits by mpu (2) and Zimmi48 (1).

view this post on Zulip Coq Github Bot (May 08 2020 at 10:34):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and llelf (1).

view this post on Zulip Coq Github Bot (May 08 2020 at 15:21):

rafoo:

view this post on Zulip Coq Github Bot (May 08 2020 at 17:48):

pi8027 pushed 2 commits to branch master. Commits by JasonGross (1) and pi8027 (1).

view this post on Zulip Coq Github Bot (May 08 2020 at 19:09):

cpitclaudel pushed 4 commits to branch master. Commits by mpu (3) and cpitclaudel (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 10:48):

maximedenes pushed 2 commits to branch master. Commits by fajb (1) and maximedenes (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 10:54):

maximedenes pushed 3 commits to branch master. Commits by proux01 (2) and maximedenes (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 11:00):

maximedenes pushed 2 commits to branch master. Commits by maximedenes (1) and ppedrot (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 13:05):

herbelin pushed 3 commits to branch master. Commits by proux01 (2) and herbelin (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 13:07):

herbelin pushed 4 commits to branch master. Commits by olaure01 (3) and herbelin (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 13:10):

herbelin pushed 3 commits to branch master. Commits by ppedrot (2) and herbelin (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 18:59):

SkySkimmer pushed 3 commits to branch master. Commits by ejgallego (2) and SkySkimmer (1).

view this post on Zulip Coq Github Bot (May 09 2020 at 22:08):

Zimmi48 pushed 2 commits to branch master. Commits by Zimmi48 (1) and cpitclaudel (1).

view this post on Zulip Jason Gross (May 10 2020 at 04:11):

Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.

view this post on Zulip Coq Github Bot (May 10 2020 at 06:47):

MSoegtropIMC pushed 2 commits to branch master. Commits by MSoegtropIMC (1) and VincentSe (1).

view this post on Zulip Coq Github Bot (May 10 2020 at 09:54):

kyoDralliam pushed 2 commits to branch master. Commits by Blaisorblade (1) and kyoDralliam (1).

view this post on Zulip Théo Zimmermann (May 10 2020 at 10:30):

Could the commit notifications go to their own topic (separate from other github notifications), so I can mute them without muting the other notifications? They seem quite noisy.

Sure! That's doable!

EDIT: Done.

view this post on Zulip Coq Github Bot (May 11 2020 at 11:52):

ppedrot deleted branch macos-binary-8.11.1.

view this post on Zulip Coq Github Bot (May 11 2020 at 13:33):

ejgallego:

view this post on Zulip Coq Github Bot (May 11 2020 at 13:34):

ejgallego:

view this post on Zulip Gaëtan Gilbert (May 11 2020 at 15:02):

Can we have PR open/close events too?

view this post on Zulip Théo Zimmermann (May 11 2020 at 15:04):

Sure!

view this post on Zulip Théo Zimmermann (May 11 2020 at 15:06):

Actually, there's no way to filter only for open/close events of PRs. If we add the "pull request" events, we also get all the "edited", "synchronized", "labeled", etc. events, so that would be a bit much.

view this post on Zulip Théo Zimmermann (May 11 2020 at 15:07):

Actually, now that I think about it, coqbot could take care of forwarding the open/close events only to Zulip.

view this post on Zulip Théo Zimmermann (May 11 2020 at 15:07):

Could you open an issue about this on the bot's repository? I won't address it this week with the upcoming freeze.

view this post on Zulip Coq Github Bot (May 11 2020 at 15:32):

gares:

view this post on Zulip Coq Github Bot (May 13 2020 at 11:34):

ejgallego:

view this post on Zulip Coq Github Bot (May 13 2020 at 11:36):

ejgallego:

view this post on Zulip Coq Github Bot (May 13 2020 at 11:41):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 13 2020 at 13:51):

ejgallego:

view this post on Zulip Coq Github Bot (May 13 2020 at 13:55):

Janno:

view this post on Zulip Coq Github Bot (May 13 2020 at 14:03):

Zimmi48:

view this post on Zulip Coq Github Bot (May 13 2020 at 14:09):

ejgallego:

view this post on Zulip Coq Github Bot (May 13 2020 at 14:13):

ejgallego:

view this post on Zulip Coq Github Bot (May 13 2020 at 15:01):

Zimmi48:

view this post on Zulip Coq Github Bot (May 13 2020 at 15:03):

mattam82:

view this post on Zulip Coq Github Bot (May 13 2020 at 15:04):

mattam82:

view this post on Zulip Coq Github Bot (May 14 2020 at 12:28):

ejgallego added ejgallego to the test-suite-maintainers team.

view this post on Zulip Coq Github Bot (May 19 2020 at 14:47):

Zimmi48:

view this post on Zulip Coq Github Bot (May 19 2020 at 14:51):

Zimmi48:

view this post on Zulip Coq Github Bot (May 19 2020 at 17:33):

ejgallego:

view this post on Zulip Coq Github Bot (May 20 2020 at 10:00):

ejgallego:

view this post on Zulip Coq Github Bot (May 20 2020 at 15:03):

mattam82:

view this post on Zulip Notification Bot (May 21 2020 at 20:15):

This topic was moved here from #Coq devs & plugin devs > Github Notifications by Théo Zimmermann

view this post on Zulip Coq Github Bot (May 25 2020 at 10:12):

Zimmi48 added jtcoolen to bot.

view this post on Zulip Coq Github Bot (May 27 2020 at 08:58):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 02 2020 at 11:19):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 02 2020 at 11:29):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 02 2020 at 15:58):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 02 2020 at 19:43):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 02 2020 at 20:12):

beta-ziliani:

view this post on Zulip Coq Github Bot (Jun 03 2020 at 11:46):

mattam82:

view this post on Zulip Coq Github Bot (Jun 03 2020 at 17:02):

mattam82:

view this post on Zulip Coq Github Bot (Jun 10 2020 at 12:50):

mattam82:

view this post on Zulip Coq Github Bot (Jun 11 2020 at 15:04):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 11 2020 at 17:57):

jfehrle:

view this post on Zulip Coq Github Bot (Jun 12 2020 at 19:25):

aa755:

view this post on Zulip Coq Github Bot (Jun 12 2020 at 19:40):

aa755:

view this post on Zulip Coq Github Bot (Jun 12 2020 at 19:49):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 01:21):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 14:38):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 14:47):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 14:58):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 15:01):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 15:06):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 15:25):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 15:27):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 16:26):

aa755:

view this post on Zulip Coq Github Bot (Jun 13 2020 at 16:42):

aa755:

view this post on Zulip Coq Github Bot (Jun 15 2020 at 12:51):

palmskog:

view this post on Zulip Coq Github Bot (Jun 15 2020 at 13:06):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 16 2020 at 17:40):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 01:40):

jfehrle:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 10:17):

Janno:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 11:42):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 12:03):

ppedrot:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 12:23):

ppedrot:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 12:40):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 13:00):

ppedrot:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 14:07):

mattam82:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 14:38):

maximedenes:

view this post on Zulip Coq Github Bot (Jun 17 2020 at 15:18):

mattam82:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 09:09):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 09:11):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 09:56):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 10:22):

palmskog:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 18:09):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 18:10):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 22 2020 at 18:27):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 23 2020 at 07:24):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 23 2020 at 17:30):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2020 at 20:58):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:00):

ejgallego added JasonGross to coq-bench.

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:03):

mattam82:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:05):

mattam82:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:05):

mattam82:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:10):

mattam82:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 15:22):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 20:38):

jfehrle:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 20:39):

jfehrle:

view this post on Zulip Coq Github Bot (Jun 24 2020 at 21:28):

JasonGross:

view this post on Zulip Coq Github Bot (Jun 30 2020 at 23:06):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 01 2020 at 14:06):

mattam82:

view this post on Zulip Coq Github Bot (Jul 01 2020 at 14:07):

mattam82:

view this post on Zulip Coq Github Bot (Jul 01 2020 at 15:35):

jfehrle:

view this post on Zulip Coq Github Bot (Jul 05 2020 at 16:17):

k4rtik:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:19):

mattam82:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:25):

mattam82:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:26):

mattam82:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:27):

maximedenes:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:27):

maximedenes:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:28):

mattam82:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:28):

maximedenes:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 09:28):

maximedenes:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 10:01):

mattam82:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 10:03):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 10:20):

spitters:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 10:21):

maximedenes:

view this post on Zulip Coq Github Bot (Jul 06 2020 at 10:23):

spitters:

view this post on Zulip Coq Github Bot (Jul 08 2020 at 09:41):

Zimmi48 added Zimmi48 to the coqbot maintainers team.

view this post on Zulip Coq Github Bot (Jul 08 2020 at 09:42):

Zimmi48 added jtcoolen to the coqbot maintainers team.

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:03):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:04):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 08 2020 at 10:19):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 09 2020 at 07:54):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 09 2020 at 11:47):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 09 2020 at 12:04):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 09 2020 at 12:42):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 10 2020 at 15:48):

jfehrle:

view this post on Zulip Coq Github Bot (Jul 15 2020 at 16:34):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 15 2020 at 16:41):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 16 2020 at 16:21):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 16 2020 at 20:25):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 20 2020 at 16:27):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 21 2020 at 17:41):

JasonGross:

view this post on Zulip Coq Github Bot (Jul 21 2020 at 17:41):

JasonGross:

view this post on Zulip Coq Github Bot (Jul 22 2020 at 11:34):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 22 2020 at 13:03):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 22 2020 at 15:58):

mattam82:

view this post on Zulip Coq Github Bot (Jul 22 2020 at 15:59):

mattam82:

view this post on Zulip Coq Github Bot (Jul 23 2020 at 18:36):

palmskog:

view this post on Zulip Coq Github Bot (Jul 25 2020 at 03:35):

jfehrle:

view this post on Zulip Coq Github Bot (Jul 27 2020 at 12:39):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 28 2020 at 09:48):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 03 2020 at 19:00):

jfehrle:

view this post on Zulip Coq Github Bot (Aug 04 2020 at 15:08):

jtcoolen:

view this post on Zulip Coq Github Bot (Aug 04 2020 at 15:28):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 06 2020 at 11:15):

Zimmi48 edited the repository coq/bot.

view this post on Zulip Coq Github Bot (Aug 18 2020 at 15:58):

jonleivent:

view this post on Zulip Coq Github Bot (Aug 22 2020 at 10:20):

herbelin:

view this post on Zulip Coq Github Bot (Aug 25 2020 at 07:39):

SkySkimmer added SkySkimmer to the bench-maintainers team.

view this post on Zulip Coq Github Bot (Aug 25 2020 at 11:21):

ppedrot added ppedrot to the bench-maintainers team.

view this post on Zulip Coq Github Bot (Aug 25 2020 at 18:00):

herbelin:

view this post on Zulip Coq Github Bot (Aug 25 2020 at 18:01):

herbelin:

view this post on Zulip Coq Github Bot (Aug 25 2020 at 18:01):

herbelin:

view this post on Zulip Coq Github Bot (Aug 26 2020 at 19:18):

herbelin:

view this post on Zulip Coq Github Bot (Aug 27 2020 at 11:29):

palmskog:

view this post on Zulip Coq Github Bot (Sep 01 2020 at 10:15):

Zimmi48 added olaure01 to the stdlib-maintainers team.

view this post on Zulip Coq Github Bot (Sep 02 2020 at 12:31):

mattam82:

view this post on Zulip Coq Github Bot (Sep 02 2020 at 14:53):

mattam82:

view this post on Zulip Coq Github Bot (Sep 02 2020 at 15:44):

mattam82:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:04):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:16):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:28):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:29):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:30):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:38):

herbelin:

view this post on Zulip Coq Github Bot (Sep 05 2020 at 07:40):

herbelin:

view this post on Zulip Coq Github Bot (Sep 08 2020 at 09:41):

gares:

view this post on Zulip Coq Github Bot (Sep 08 2020 at 09:42):

gares:

view this post on Zulip Coq Github Bot (Sep 09 2020 at 11:41):

charguer:

view this post on Zulip Coq Github Bot (Sep 09 2020 at 13:34):

charguer:

view this post on Zulip Coq Github Bot (Sep 09 2020 at 13:50):

herbelin:

view this post on Zulip Coq Github Bot (Sep 09 2020 at 14:44):

mattam82:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:20):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:24):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:24):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:28):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:30):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:31):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 13 2020 at 18:33):

awalterschulze:

view this post on Zulip Coq Github Bot (Sep 15 2020 at 08:49):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 15 2020 at 08:51):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 16 2020 at 12:01):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 16 2020 at 12:08):

herbelin:

view this post on Zulip Coq Github Bot (Sep 16 2020 at 14:39):

mattam82:

view this post on Zulip Coq Github Bot (Sep 16 2020 at 15:16):

mattam82:

view this post on Zulip Coq Github Bot (Sep 18 2020 at 08:28):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 18 2020 at 08:31):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 19 2020 at 10:28):

clarus:

view this post on Zulip Coq Github Bot (Sep 19 2020 at 10:48):

coq added MSoegtropIMC to coq-platform.

view this post on Zulip Coq Github Bot (Sep 19 2020 at 10:48):

MSoegtropIMC transferred the repository coq/coq-platform.

view this post on Zulip Coq Github Bot (Sep 19 2020 at 10:51):

Zimmi48 renamed the repository coq/platform.

view this post on Zulip Coq Github Bot (Sep 19 2020 at 10:51):

Zimmi48 edited MSoegtropIMC to platform.

view this post on Zulip Coq Github Bot (Sep 21 2020 at 21:55):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:06):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:08):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:10):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 22 2020 at 16:19):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 23 2020 at 14:32):

mattam82:

view this post on Zulip Coq Github Bot (Sep 23 2020 at 14:34):

mattam82:

view this post on Zulip Coq Github Bot (Sep 23 2020 at 14:35):

mattam82:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 07:53):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 07:57):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 08:00):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 08:02):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 08:06):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 09:58):

maximedenes:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 09:58):

maximedenes:

view this post on Zulip Coq Github Bot (Oct 04 2020 at 09:59):

maximedenes:

view this post on Zulip Coq Github Bot (Oct 06 2020 at 08:04):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 13:58):

herbelin:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 13:58):

herbelin:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 14:06):

mattam82:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 14:48):

mattam82:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 15:11):

mattam82:

view this post on Zulip Coq Github Bot (Oct 07 2020 at 15:20):

mattam82:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 13:57):

ppedrot:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:01):

CohenCyril:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:01):

ppedrot:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:03):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:05):

ppedrot:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:07):

amahboubi:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:30):

kyoDralliam:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:48):

gares:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:49):

ejgallego:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 14:51):

ejgallego:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 15:04):

herbelin:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 15:39):

anton-trunov:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 20:03):

maximedenes:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 20:04):

erikmd:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 20:05):

erikmd:

view this post on Zulip Coq Github Bot (Oct 09 2020 at 22:26):

palmskog:

view this post on Zulip Coq Github Bot (Oct 10 2020 at 12:58):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 12 2020 at 07:50):

mattam82:

view this post on Zulip Coq Github Bot (Oct 12 2020 at 22:00):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Oct 13 2020 at 14:21):

proux01:

view this post on Zulip Coq Github Bot (Oct 13 2020 at 20:15):

JasonGross:

view this post on Zulip Coq Github Bot (Oct 14 2020 at 08:22):

pierrevial:

view this post on Zulip Coq Github Bot (Oct 14 2020 at 12:33):

silene:

view this post on Zulip Coq Github Bot (Oct 14 2020 at 14:26):

ybertot:

view this post on Zulip Coq Github Bot (Oct 15 2020 at 11:25):

ejgallego:

view this post on Zulip Coq Github Bot (Oct 15 2020 at 11:26):

ejgallego:

view this post on Zulip Coq Github Bot (Oct 15 2020 at 18:21):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 15 2020 at 18:23):

awalterschulze:

view this post on Zulip Coq Github Bot (Oct 17 2020 at 16:01):

samuelgruetter:

view this post on Zulip Coq Github Bot (Oct 19 2020 at 12:20):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 20 2020 at 18:26):

clayrat:

view this post on Zulip Coq Github Bot (Oct 21 2020 at 14:22):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 21 2020 at 14:24):

ppedrot:

view this post on Zulip Coq Github Bot (Oct 22 2020 at 15:16):

zoep:

view this post on Zulip Coq Github Bot (Oct 26 2020 at 10:32):

gares:

view this post on Zulip Coq Github Bot (Oct 26 2020 at 10:35):

gares:

view this post on Zulip Coq Github Bot (Oct 26 2020 at 10:39):

pochinha:

view this post on Zulip Coq Github Bot (Oct 27 2020 at 20:08):

herbelin:

view this post on Zulip Coq Github Bot (Oct 28 2020 at 11:33):

herbelin:

view this post on Zulip Coq Github Bot (Nov 02 2020 at 13:04):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 12:22):

mattam82:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 13:43):

maximedenes:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 13:54):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 13:55):

ppedrot:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 15:53):

mattam82:

view this post on Zulip Coq Github Bot (Nov 04 2020 at 16:26):

mattam82:

view this post on Zulip Coq Github Bot (Nov 05 2020 at 16:07):

ejgallego added vbgl to bignums.

view this post on Zulip Coq Github Bot (Nov 06 2020 at 08:11):

erikmd:

view this post on Zulip Coq Github Bot (Nov 06 2020 at 08:12):

erikmd:

view this post on Zulip Coq Github Bot (Nov 06 2020 at 15:10):

Zimmi48 removed jtcoolen from the coqbot maintainers team.

view this post on Zulip Coq Github Bot (Nov 06 2020 at 15:10):

Zimmi48 removed jtcoolen to bot.

view this post on Zulip Coq Github Bot (Nov 07 2020 at 13:49):

gares:

view this post on Zulip Coq Github Bot (Nov 11 2020 at 13:06):

erikmd:

view this post on Zulip Coq Github Bot (Nov 11 2020 at 13:07):

erikmd:

view this post on Zulip Coq Github Bot (Nov 12 2020 at 22:43):

herbelin:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 11:17):

herbelin:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 11:18):

herbelin:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 11:38):

herbelin:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 14:52):

mattam82:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 15:18):

mattam82:

view this post on Zulip Coq Github Bot (Nov 13 2020 at 15:19):

mattam82:

view this post on Zulip Coq Github Bot (Nov 16 2020 at 11:10):

mkerjean:

view this post on Zulip Coq Github Bot (Nov 16 2020 at 16:26):

silene:

view this post on Zulip Coq Github Bot (Nov 16 2020 at 16:28):

silene:

view this post on Zulip Coq Github Bot (Nov 17 2020 at 15:36):

herbelin:

view this post on Zulip Coq Github Bot (Nov 17 2020 at 16:17):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 17 2020 at 16:17):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 18 2020 at 07:58):

herbelin:

view this post on Zulip Coq Github Bot (Nov 18 2020 at 10:51):

herbelin:

view this post on Zulip Coq Github Bot (Nov 18 2020 at 16:14):

mattam82:

view this post on Zulip Coq Github Bot (Nov 19 2020 at 14:18):

Zimmi48 added vbgl to doc.

view this post on Zulip Coq Github Bot (Nov 19 2020 at 16:51):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Nov 19 2020 at 18:53):

herbelin:

view this post on Zulip Coq Github Bot (Nov 20 2020 at 02:56):

cpitclaudel:

view this post on Zulip Coq Github Bot (Nov 20 2020 at 08:03):

gares:

view this post on Zulip Coq Github Bot (Nov 20 2020 at 08:04):

gares:

view this post on Zulip Coq Github Bot (Nov 23 2020 at 15:35):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 24 2020 at 10:10):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 24 2020 at 10:12):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 25 2020 at 13:45):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 25 2020 at 16:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 25 2020 at 16:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 25 2020 at 16:16):

mattam82:

view this post on Zulip Coq Github Bot (Nov 26 2020 at 21:12):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 09:45):

pPomCo:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 14:00):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 14:03):

affeldt-aist:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 14:09):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 14:14):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 27 2020 at 14:21):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 29 2020 at 19:30):

erikmd:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 09:11):

CohenCyril:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 09:23):

Blaisorblade:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 10:20):

ppedrot:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 10:26):

palmskog:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 10:26):

palmskog:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 11:32):

mattam82:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 11:41):

ana-borges:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 11:42):

ana-borges:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 11:52):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 12:37):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 13:09):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 13:12):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 13:14):

ppedrot:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 13:26):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 14:13):

arthuraa:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 15:51):

ana-borges:

view this post on Zulip Coq Github Bot (Nov 30 2020 at 15:54):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Dec 01 2020 at 10:00):

charguer:

view this post on Zulip Coq Github Bot (Dec 01 2020 at 15:48):

ppedrot:

view this post on Zulip Coq Github Bot (Dec 01 2020 at 17:42):

ana-borges:

view this post on Zulip Coq Github Bot (Dec 01 2020 at 17:55):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 09:15):

ybertot:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 09:24):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 10:25):

gares:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 10:26):

mrhaandi:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 13:41):

Zimmi48 added fakusb to the Contributors team.

view this post on Zulip Coq Github Bot (Dec 02 2020 at 13:51):

gares:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 14:36):

tabareau:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 16:06):

ybertot:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 18:14):

kyoDralliam:

view this post on Zulip Coq Github Bot (Dec 02 2020 at 23:02):

ana-borges:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:03):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:04):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:09):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:13):

jakobbotsch:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:18):

yforster:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 13:18):

fakusb:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:33):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:36):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:40):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:42):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:46):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 14:48):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 15:44):

palmskog:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 15:45):

ybertot:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 15:47):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2020 at 21:02):

fakusb:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 04:55):

palmskog:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 05:00):

cpitclaudel:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 10:38):

ana-borges:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 12:28):

cpitclaudel:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 16:12):

ybertot:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 16:28):

erikmd:

view this post on Zulip Coq Github Bot (Dec 04 2020 at 16:29):

erikmd:

view this post on Zulip Coq Github Bot (Dec 05 2020 at 11:08):

ana-borges:

view this post on Zulip Coq Github Bot (Dec 06 2020 at 17:35):

MSoegtropIMC edited the repository coq/platform.

view this post on Zulip Coq Github Bot (Dec 07 2020 at 13:02):

palmskog:

view this post on Zulip Coq Github Bot (Dec 07 2020 at 16:00):

gares:

view this post on Zulip Coq Github Bot (Dec 07 2020 at 16:15):

gares:

view this post on Zulip Coq Github Bot (Dec 07 2020 at 16:20):

gares:

view this post on Zulip Coq Github Bot (Dec 08 2020 at 08:36):

gares:

view this post on Zulip Coq Github Bot (Dec 08 2020 at 11:15):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 08 2020 at 16:23):

gares:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 14:31):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 15:05):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 16:06):

mattam82:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 16:15):

mattam82:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 16:15):

mattam82:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 17:35):

mattam82:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 17:35):

mattam82:

view this post on Zulip Coq Github Bot (Dec 09 2020 at 17:36):

mattam82:

view this post on Zulip Coq Github Bot (Dec 10 2020 at 14:55):

gares:

view this post on Zulip Coq Github Bot (Dec 10 2020 at 15:32):

gares:

view this post on Zulip Coq Github Bot (Dec 11 2020 at 10:26):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 11 2020 at 10:35):

gares:

view this post on Zulip Coq Github Bot (Dec 11 2020 at 10:49):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 11 2020 at 10:59):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 13 2020 at 22:21):

erikmd:

view this post on Zulip Coq Github Bot (Dec 13 2020 at 22:23):

erikmd:

view this post on Zulip Coq Github Bot (Dec 13 2020 at 22:34):

erikmd:

view this post on Zulip Coq Github Bot (Dec 16 2020 at 14:41):

herbelin:

view this post on Zulip Coq Github Bot (Dec 16 2020 at 15:01):

erikmd:

view this post on Zulip Coq Github Bot (Dec 16 2020 at 16:09):

erikmd:

view this post on Zulip Coq Github Bot (Dec 16 2020 at 16:21):

erikmd:

view this post on Zulip Coq Github Bot (Dec 27 2020 at 00:33):

jfehrle:

view this post on Zulip Coq Github Bot (Dec 27 2020 at 00:36):

jfehrle:

view this post on Zulip Coq Github Bot (Dec 28 2020 at 05:30):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 05 2021 at 20:31):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 05 2021 at 20:32):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 07 2021 at 12:33):

gares:

view this post on Zulip Coq Github Bot (Jan 07 2021 at 12:35):

gares:

view this post on Zulip Coq Github Bot (Jan 07 2021 at 12:38):

gares:

view this post on Zulip Coq Github Bot (Jan 07 2021 at 12:40):

gares:

view this post on Zulip Coq Github Bot (Jan 07 2021 at 12:56):

gares:

view this post on Zulip Coq Github Bot (Jan 11 2021 at 16:02):

gares:

view this post on Zulip Coq Github Bot (Jan 12 2021 at 18:06):

Zimmi48:

view this post on Zulip Coq Github Bot (Jan 13 2021 at 09:18):

gares:

view this post on Zulip Coq Github Bot (Jan 13 2021 at 16:08):

mattam82:

view this post on Zulip Coq Github Bot (Jan 20 2021 at 13:20):

mattam82:

view this post on Zulip Coq Github Bot (Jan 22 2021 at 16:51):

gares:

view this post on Zulip Coq Github Bot (Jan 22 2021 at 16:52):

gares:

view this post on Zulip Coq Github Bot (Jan 22 2021 at 16:52):

gares:

view this post on Zulip Coq Github Bot (Jan 23 2021 at 18:22):

gares:

view this post on Zulip Coq Github Bot (Jan 25 2021 at 09:36):

gares:

view this post on Zulip Coq Github Bot (Jan 27 2021 at 09:39):

gares:

view this post on Zulip Coq Github Bot (Jan 27 2021 at 09:47):

gares:

view this post on Zulip Coq Github Bot (Jan 27 2021 at 10:58):

gares:

view this post on Zulip Coq Github Bot (Jan 27 2021 at 13:37):

Zimmi48:

view this post on Zulip Coq Github Bot (Jan 27 2021 at 14:56):

herbelin:

view this post on Zulip Coq Github Bot (Jan 31 2021 at 17:04):

gares added MSoegtropIMC to the OPAM maintainer team.

view this post on Zulip Coq Github Bot (Jan 31 2021 at 17:15):

gares removed matejkosik from the OPAM maintainer team.

view this post on Zulip Coq Github Bot (Feb 03 2021 at 14:09):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 14:10):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 14:11):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 15:42):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 15:59):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 16:08):

mattam82:

view this post on Zulip Coq Github Bot (Feb 03 2021 at 16:09):

mattam82:

view this post on Zulip Coq Github Bot (Feb 04 2021 at 15:33):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 07 2021 at 16:39):

gares:

view this post on Zulip Coq Github Bot (Feb 08 2021 at 20:41):

Zimmi48:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 14:21):

gares:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 14:22):

gares:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 14:27):

gares:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 15:35):

mattam82:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 16:03):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 16:04):

mattam82:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 16:06):

mattam82:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 16:08):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 10 2021 at 16:16):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 16 2021 at 22:45):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 02:57):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 03:03):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 14:07):

gares:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 15:00):

gares:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 16:05):

gares:

view this post on Zulip Coq Github Bot (Feb 17 2021 at 16:31):

gares:

view this post on Zulip Coq Github Bot (Feb 24 2021 at 11:32):

Zimmi48:

view this post on Zulip Coq Github Bot (Feb 24 2021 at 11:33):

Zimmi48:

view this post on Zulip Coq Github Bot (Feb 24 2021 at 15:39):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Feb 26 2021 at 08:03):

MSoegtropIMC edited the repository coq/platform.

view this post on Zulip Coq Github Bot (Feb 26 2021 at 08:04):

MSoegtropIMC edited the repository coq/platform.

view this post on Zulip Coq Github Bot (Mar 01 2021 at 21:50):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 01 2021 at 21:50):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 01 2021 at 21:51):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 02 2021 at 00:14):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 02 2021 at 09:45):

Zimmi48:

view this post on Zulip Coq Github Bot (Mar 02 2021 at 10:20):

Zimmi48:

view this post on Zulip Coq Github Bot (Mar 02 2021 at 10:36):

Zimmi48:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:27):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:28):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:28):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:30):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:31):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 05 2021 at 00:32):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 09 2021 at 12:30):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 10 2021 at 14:52):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 10 2021 at 16:00):

mattam82:

view this post on Zulip Coq Github Bot (Mar 10 2021 at 16:01):

mattam82:

view this post on Zulip Coq Github Bot (Mar 10 2021 at 16:02):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 11 2021 at 21:40):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 11 2021 at 21:40):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 11 2021 at 21:41):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 11 2021 at 21:41):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:37):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:39):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:42):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:43):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:46):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:48):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:50):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:51):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 09:55):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 10:26):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 10:41):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 12 2021 at 15:19):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 13 2021 at 19:35):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 17 2021 at 15:55):

mattam82:

view this post on Zulip Coq Github Bot (Mar 19 2021 at 20:56):

mattam82:

view this post on Zulip Coq Github Bot (Mar 19 2021 at 20:56):

mattam82:

view this post on Zulip Coq Github Bot (Mar 19 2021 at 20:57):

mattam82:

view this post on Zulip Coq Github Bot (Mar 22 2021 at 10:09):

gares:

view this post on Zulip Coq Github Bot (Mar 22 2021 at 23:18):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 23 2021 at 15:51):

JasonGross:

view this post on Zulip Coq Github Bot (Mar 23 2021 at 15:52):

JasonGross:

view this post on Zulip Coq Github Bot (Mar 23 2021 at 15:53):

JasonGross:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 09:01):

silene:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 12:18):

JasonGross:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 14:56):

gares:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 16:55):

silene:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 16:59):

mattam82:

view this post on Zulip Coq Github Bot (Mar 24 2021 at 17:02):

silene:

view this post on Zulip Coq Github Bot (Mar 25 2021 at 11:13):

erikmd:

view this post on Zulip Coq Github Bot (Mar 31 2021 at 10:56):

ppedrot:

view this post on Zulip Coq Github Bot (Mar 31 2021 at 10:58):

ppedrot:

view this post on Zulip Coq Github Bot (Mar 31 2021 at 11:32):

herbelin:

view this post on Zulip Coq Github Bot (Mar 31 2021 at 11:41):

herbelin:

view this post on Zulip Coq Github Bot (Mar 31 2021 at 21:47):

herbelin:

view this post on Zulip Coq Github Bot (Apr 02 2021 at 09:33):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 02 2021 at 21:11):

herbelin:

view this post on Zulip Coq Github Bot (Apr 03 2021 at 18:01):

ejgallego added hendriktews to the Contributors team.

view this post on Zulip Coq Github Bot (Apr 06 2021 at 16:57):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:01):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:04):

jashug:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:21):

xavierleroy:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:27):

xavierleroy:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:29):

liyishuai:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:30):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:30):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:37):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:39):

xavierleroy:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:40):

xavierleroy:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:45):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:46):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 17:46):

xavierleroy:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:08):

fredericloulergue:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:10):

Matafou:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:12):

Matafou:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:20):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:22):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:25):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:28):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:30):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:34):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:48):

jkbsc:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:52):

SkySkimmer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:54):

Kiarahmani:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 18:56):

mikeshulman:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:00):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:02):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:17):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:22):

felix91gr:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:39):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:40):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:42):

tbrk:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:44):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:57):

tbrk:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 19:59):

tbrk:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:05):

dwRchyngqxs:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:19):

dwRchyngqxs:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:26):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:32):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:33):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:33):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:34):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:35):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:37):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:40):

bcpierce00:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:44):

scuellar:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:50):

alcides:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:51):

tbrk:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:54):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:55):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 20:59):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:00):

alcides:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:02):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:09):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:30):

tlringer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:31):

slyubomirsky:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:32):

slyubomirsky:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:45):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 21:56):

herbelin:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 22:03):

clarus:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 22:09):

yoogx:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 22:11):

yoogx:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 22:15):

liyishuai:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 23:31):

drdreyer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 23:37):

drdreyer:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 23:39):

gallais:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 23:44):

gallais:

view this post on Zulip Coq Github Bot (Apr 06 2021 at 23:45):

gallais:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 02:30):

kevinsullivan:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 02:31):

monnier:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 02:36):

kevinsullivan:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 02:37):

psteckler:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 02:39):

psteckler:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 03:05):

jashug:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 03:09):

jashug:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 03:38):

pvomelveny:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 06:05):

anton-trunov:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 06:39):

PeterSewell:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 06:40):

PeterSewell:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 07:06):

yforster:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 07:24):

charguer:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 07:52):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 07:57):

charguer:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 09:03):

charguer:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 10:10):

tbrk:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 10:44):

ptorrx:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:25):

wilstef:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:27):

wilstef:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:30):

wilstef:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:31):

wilstef:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:32):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 11:34):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 12:14):

yforster:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 12:18):

YaZko:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 12:23):

YaZko:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:02):

elfprince13:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:37):

arthuraa:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:43):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:47):

slasser:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:55):

mattam82:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:56):

tabareau:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 13:59):

mattam82:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:16):

mattam82:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:19):

mattam82:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:19):

mattam82:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:22):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:38):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 14:43):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:15):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:21):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:25):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:29):

pellissier:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:29):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:30):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:31):

afelty:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:38):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:40):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:42):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 15:53):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:38):

rnollet:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:39):

rnollet:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:40):

cpitclaudel:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:40):

cpitclaudel:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:41):

felix91gr:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 16:46):

rnollet:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 17:33):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 18:08):

tbrk:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 18:12):

lamarqua:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 18:29):

tbrk:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 18:34):

tbrk:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 20:06):

gallais:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 20:27):

afelty:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 21:39):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 21:40):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:03):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:16):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:19):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:20):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:22):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:41):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 22:58):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 23:02):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 23:54):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 07 2021 at 23:58):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 02:51):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 02:51):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 02:52):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 05:46):

Casteran:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 06:43):

ybertot:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 06:56):

ybertot:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 07:07):

gares:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 07:11):

gares:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 07:13):

gares:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 07:15):

gares:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 12:42):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 13:49):

arthuraa:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 13:54):

arthuraa:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 13:57):

arthuraa:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 14:39):

whonore:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 14:55):

bee-san:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:01):

waldyrious:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:08):

waldyrious:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:10):

webdevdunce:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:10):

webdevdunce:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:11):

konfou:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:12):

webdevdunce:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:25):

crdrost:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:28):

gasche:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:31):

konfou:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:46):

fdelorme:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:47):

fdelorme:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 15:47):

fdelorme:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:05):

andrevidela:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:38):

matej-kosik:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:42):

tbrk:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:44):

tbrk:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:45):

slindley:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 16:57):

philipjf:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 17:13):

JeremyRubin:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 17:59):

Himada4:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 18:04):

gallais:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 18:09):

rebane2001:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 18:14):

fifofefe:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 18:23):

fsmith1024:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 19:49):

jkbsc:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:23):

psteckler:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:23):

psteckler:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:26):

psteckler:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:31):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:33):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:44):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:45):

ma82:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 20:56):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 21:07):

SkySkimmer:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 21:11):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 21:53):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 21:57):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 08 2021 at 22:03):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 00:00):

richardm-stripe:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 00:50):

Lysxia:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 01:14):

pfeodrippe:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 01:59):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:00):

jgrosso:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:14):

cpitclaudel:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:16):

cpitclaudel:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:17):

rnrand:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:29):

rnrand:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:40):

psteckler:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 02:44):

psteckler:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 03:20):

gambogi:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 04:30):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 04:58):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 05:01):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 05:01):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 05:03):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 05:28):

barry-jay-personal:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:06):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:14):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:15):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:16):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:17):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:22):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 06:22):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 07:26):

cesar-avalos3:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 07:36):

co-dan:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 07:51):

lifthrasiir:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:20):

k32:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:28):

ainar-g:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:31):

Maximilianos:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:32):

koraa:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:35):

koraa:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:37):

ainar-g:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 08:40):

koraa:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 11:34):

andreasabel:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 11:41):

andreasabel:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 11:45):

andreasabel:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:18):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:25):

esope:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:28):

herbelin:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:29):

kappelmann:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:35):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:45):

fblanqui:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:47):

smlckz:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:48):

co-dan:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 12:53):

co-dan:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 13:14):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:01):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:06):

rnagasam:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:07):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:09):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:22):

Tengas:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:23):

kgraaf:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:25):

Tengas:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:30):

tbrk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 14:30):

nmvdw:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 15:17):

jonleivent:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 15:29):

UlrikBuchholtz:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 16:07):

gambogi:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 16:19):

gambogi:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 17:03):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 17:56):

tlringer:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 18:06):

tlringer:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 18:41):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 18:50):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 19:17):

mattam82:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 19:56):

louisGarde:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 20:30):

konfou:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 20:41):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 20:42):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 20:43):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 20:44):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 21:11):

mattam82:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 21:33):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 21:34):

mattam82:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 21:34):

eluuk:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 22:32):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 09 2021 at 22:34):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 00:04):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 00:09):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 00:12):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 00:27):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 00:46):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 04:14):

cyrus-:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 04:15):

cyrus-:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 04:17):

cyrus-:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 04:31):

mmalter:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 06:03):

Tloru:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 06:07):

Tloru:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 08:22):

PeterSewell:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 08:36):

PeterSewell:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 08:40):

esope:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 08:41):

liyishuai:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 08:57):

liyishuai:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 15:13):

clarus:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 15:53):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 17:24):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 18:22):

esope:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 18:42):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 20:19):

psteckler:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 20:22):

psteckler:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:19):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:31):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:41):

eluuk:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:42):

eluuk:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:45):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 22:59):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 23:00):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 10 2021 at 23:12):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 01:33):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 01:34):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 02:07):

thery:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 09:12):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 21:09):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 21:32):

ptorrx:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 22:58):

eluuk:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 23:00):

eluuk:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 23:15):

eluuk:

view this post on Zulip Coq Github Bot (Apr 11 2021 at 23:18):

eluuk:

view this post on Zulip Coq Github Bot (Apr 12 2021 at 13:11):

silene added thery to bignums.

view this post on Zulip Coq Github Bot (Apr 12 2021 at 17:51):

rtfeldman:

view this post on Zulip Coq Github Bot (Apr 13 2021 at 07:46):

alaingirault:

view this post on Zulip Coq Github Bot (Apr 13 2021 at 07:57):

alaingirault:

view this post on Zulip Coq Github Bot (Apr 13 2021 at 09:46):

djanin:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 00:08):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 00:09):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 12:39):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 12:39):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 13:10):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 14 2021 at 20:54):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 15 2021 at 09:32):

ainar-g:

view this post on Zulip Coq Github Bot (Apr 15 2021 at 20:16):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 16 2021 at 08:05):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 17 2021 at 10:07):

herbelin:

view this post on Zulip Coq Github Bot (Apr 17 2021 at 10:52):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 18 2021 at 09:34):

webdevdunce:

view this post on Zulip Coq Github Bot (Apr 18 2021 at 09:35):

webdevdunce:

view this post on Zulip Coq Github Bot (Apr 18 2021 at 16:34):

addap:

view this post on Zulip Coq Github Bot (Apr 18 2021 at 20:07):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 19 2021 at 21:19):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2021 at 21:20):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2021 at 21:45):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2021 at 21:45):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2021 at 21:46):

mattam82:

view this post on Zulip Coq Github Bot (Apr 20 2021 at 09:10):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 20 2021 at 12:03):

dmitry-borzov:

view this post on Zulip Coq Github Bot (Apr 20 2021 at 16:27):

gadmm:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 01:40):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 01:44):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 06:22):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 13:35):

harveywi:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 14:20):

mattam82:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 14:56):

mattam82:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 15:06):

SkySkimmer:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 17:00):

gadmm:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 17:01):

gadmm:

view this post on Zulip Coq Github Bot (Apr 21 2021 at 17:30):

gadmm:

view this post on Zulip Coq Github Bot (Apr 23 2021 at 14:31):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 24 2021 at 09:24):

Zer0-One:

view this post on Zulip Coq Github Bot (Apr 24 2021 at 17:08):

Zimmi48:

view this post on Zulip Coq Github Bot (Apr 25 2021 at 07:28):

hubiec:

view this post on Zulip Coq Github Bot (Apr 25 2021 at 07:29):

hubiec:

view this post on Zulip Coq Github Bot (Apr 26 2021 at 21:12):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 26 2021 at 23:19):

endgame:

view this post on Zulip Coq Github Bot (Apr 28 2021 at 09:26):

gares:

view this post on Zulip Coq Github Bot (Apr 28 2021 at 09:27):

gares:

view this post on Zulip Coq Github Bot (Apr 28 2021 at 16:42):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 28 2021 at 16:42):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 29 2021 at 19:52):

SkySkimmer:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 06:14):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 06:52):

dmitry-borzov:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 11:20):

mrhaandi:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 11:24):

mrhaandi:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 12:29):

gares:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 12:30):

gares:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 13:02):

Blaisorblade:

view this post on Zulip Coq Github Bot (Apr 30 2021 at 13:03):

Blaisorblade:

view this post on Zulip Coq Github Bot (May 01 2021 at 07:50):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (May 03 2021 at 09:17):

mrhaandi:

view this post on Zulip Coq Github Bot (May 03 2021 at 14:11):

mrhaandi:

view this post on Zulip Coq Github Bot (May 04 2021 at 00:18):

JasonGross:

view this post on Zulip Coq Github Bot (May 04 2021 at 08:23):

ejgallego:

view this post on Zulip Coq Github Bot (May 05 2021 at 04:42):

jfehrle:

view this post on Zulip Coq Github Bot (May 05 2021 at 04:43):

jfehrle:

view this post on Zulip Coq Github Bot (May 05 2021 at 14:31):

mattam82:

view this post on Zulip Coq Github Bot (May 05 2021 at 15:07):

mattam82:

view this post on Zulip Coq Github Bot (May 05 2021 at 15:09):

mattam82:

view this post on Zulip Coq Github Bot (May 05 2021 at 15:09):

mattam82:

view this post on Zulip Coq Github Bot (May 05 2021 at 17:09):

thomasfsteeples:

view this post on Zulip Coq Github Bot (May 06 2021 at 09:25):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (May 10 2021 at 12:32):

dmitry-borzov:

view this post on Zulip Coq Github Bot (May 10 2021 at 12:40):

kyoDralliam:

view this post on Zulip Coq Github Bot (May 10 2021 at 16:17):

SkySkimmer added JasonGross to the legacy-build-maintainers team.

view this post on Zulip Coq Github Bot (May 11 2021 at 16:05):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (May 12 2021 at 09:50):

dmitry-borzov:

view this post on Zulip Coq Github Bot (May 12 2021 at 12:14):

Zimmi48 added JasonGross to the coqbot maintainers team.

view this post on Zulip Coq Github Bot (May 12 2021 at 13:57):

jfehrle:

view this post on Zulip Coq Github Bot (May 12 2021 at 15:23):

herbelin:

view this post on Zulip Coq Github Bot (May 13 2021 at 18:57):

Zimmi48:

view this post on Zulip Coq Github Bot (May 14 2021 at 14:53):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 17 2021 at 19:31):

herbelin:

view this post on Zulip Coq Github Bot (May 17 2021 at 22:13):

herbelin:

view this post on Zulip Coq Github Bot (May 18 2021 at 13:01):

underscore-j:

view this post on Zulip Coq Github Bot (May 19 2021 at 13:34):

mattam82:

view this post on Zulip Coq Github Bot (May 19 2021 at 15:02):

mattam82:

view this post on Zulip Coq Github Bot (May 19 2021 at 15:03):

mattam82:

view this post on Zulip Coq Github Bot (May 20 2021 at 17:18):

mattam82:

view this post on Zulip Coq Github Bot (May 20 2021 at 17:19):

mattam82:

view this post on Zulip Coq Github Bot (May 21 2021 at 10:34):

Zimmi48:

view this post on Zulip Coq Github Bot (May 25 2021 at 00:54):

psteckler:

view this post on Zulip Coq Github Bot (May 26 2021 at 09:47):

mattam82:

view this post on Zulip Coq Github Bot (May 26 2021 at 09:48):

mattam82:

view this post on Zulip Coq Github Bot (May 26 2021 at 14:02):

Zimmi48:

view this post on Zulip Coq Github Bot (May 26 2021 at 14:03):

mattam82:

view this post on Zulip Coq Github Bot (May 26 2021 at 14:03):

mattam82:

view this post on Zulip Coq Github Bot (May 26 2021 at 14:04):

mattam82:

view this post on Zulip Coq Github Bot (May 29 2021 at 11:44):

SkySkimmer added ana-borges to the Contributors team.

view this post on Zulip Coq Github Bot (Jun 02 2021 at 11:46):

Zimmi48 added MSoegtropIMC to the stdlib-maintainers team.

view this post on Zulip Coq Github Bot (Jun 03 2021 at 14:34):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 09 2021 at 13:24):

mattam82:

view this post on Zulip Coq Github Bot (Jun 11 2021 at 09:49):

monniaux:

view this post on Zulip Coq Github Bot (Jun 14 2021 at 14:03):

charguer:

view this post on Zulip Coq Github Bot (Jun 14 2021 at 14:06):

charguer:

view this post on Zulip Coq Github Bot (Jun 14 2021 at 14:06):

charguer:

view this post on Zulip Coq Github Bot (Jun 15 2021 at 10:04):

truecluster:

view this post on Zulip Coq Github Bot (Jun 15 2021 at 11:28):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 15 2021 at 11:30):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 15 2021 at 15:20):

oplohmann:

view this post on Zulip Coq Github Bot (Jun 15 2021 at 15:22):

oplohmann:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 08:56):

mattam82:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 09:34):

gemath:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 09:56):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 14:39):

mattam82:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 15:14):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 16 2021 at 15:35):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 17 2021 at 08:43):

aerialfiddle:

view this post on Zulip Coq Github Bot (Jun 17 2021 at 15:23):

moninjf:

view this post on Zulip Coq Github Bot (Jun 17 2021 at 15:34):

moninjf:

view this post on Zulip Coq Github Bot (Jun 21 2021 at 07:44):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Jun 21 2021 at 07:53):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Jun 21 2021 at 08:01):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Jun 21 2021 at 08:12):

yforster:

view this post on Zulip Coq Github Bot (Jun 22 2021 at 16:48):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2021 at 19:23):

mattam82:

view this post on Zulip Coq Github Bot (Jun 22 2021 at 19:25):

mattam82:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 11:26):

ppedrot:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 13:34):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 13:35):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 14:12):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 14:12):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 15:25):

mattam82:

view this post on Zulip Coq Github Bot (Jun 23 2021 at 16:34):

herbelin:

view this post on Zulip Coq Github Bot (Jun 25 2021 at 07:40):

Columbus240:

view this post on Zulip Coq Github Bot (Jun 29 2021 at 18:33):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 30 2021 at 14:17):

Zimmi48 added JasonGross to the Core team.

view this post on Zulip Coq Github Bot (Jun 30 2021 at 15:58):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 30 2021 at 15:58):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 30 2021 at 16:53):

moninjf:

view this post on Zulip Coq Github Bot (Jul 01 2021 at 07:19):

moninjf:

view this post on Zulip Coq Github Bot (Jul 01 2021 at 09:35):

moninjf:

view this post on Zulip Coq Github Bot (Jul 01 2021 at 15:04):

moninjf:

view this post on Zulip Coq Github Bot (Jul 01 2021 at 18:52):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 05 2021 at 21:54):

herbelin:

view this post on Zulip Coq Github Bot (Jul 05 2021 at 22:20):

herbelin:

view this post on Zulip Coq Github Bot (Jul 06 2021 at 08:15):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 06 2021 at 08:30):

herbelin:

view this post on Zulip Coq Github Bot (Jul 06 2021 at 16:10):

herbelin:

view this post on Zulip Coq Github Bot (Jul 06 2021 at 16:14):

Zimmi48 added CohenCyril to the nix-maintainers team.

view this post on Zulip Coq Github Bot (Jul 07 2021 at 00:46):

roconnor:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 09:24):

Zimmi48 added Alizter to the Contributors team.

view this post on Zulip Coq Github Bot (Jul 07 2021 at 14:10):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 14:11):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 14:32):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 14:33):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 14:34):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 07 2021 at 15:08):

mattam82:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 15:50):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 15:50):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 17:19):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 17:19):

Zimmi48:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 17:25):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 08 2021 at 17:25):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 10 2021 at 16:24):

Alizter:

view this post on Zulip Coq Github Bot (Jul 11 2021 at 11:50):

herbelin:

view this post on Zulip Coq Github Bot (Jul 12 2021 at 23:06):

jfehrle:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 14:14):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 14:15):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 14:15):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 14:16):

mattam82:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 14:16):

ejgallego:

view this post on Zulip Coq Github Bot (Jul 13 2021 at 15:21):

mattam82:

view this post on Zulip Coq Github Bot (Jul 18 2021 at 11:36):

herbelin:

view this post on Zulip Coq Github Bot (Jul 27 2021 at 11:12):

Alizter:

view this post on Zulip Coq Github Bot (Jul 30 2021 at 13:28):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 09 2021 at 18:18):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:18):

Zimmi48 added Alizter to the ci-maintainers team.

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:19):

Zimmi48 added Alizter to the coqide-maintainers team.

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:19):

Zimmi48 added Alizter to the vernac-maintainers team.

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:19):

Zimmi48 added Alizter to the build-maintainers team.

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:20):

Zimmi48 added Alizter to the test-suite-maintainers team.

view this post on Zulip Coq Github Bot (Aug 11 2021 at 22:20):

Zimmi48 added Alizter to the dev-tools-maintainers team.

view this post on Zulip Coq Github Bot (Aug 17 2021 at 20:46):

tomjridge:

view this post on Zulip Coq Github Bot (Aug 18 2021 at 14:25):

TheoWinterhalter:

view this post on Zulip Coq Github Bot (Aug 27 2021 at 09:55):

mattam82:

view this post on Zulip Coq Github Bot (Aug 27 2021 at 09:55):

mattam82:

view this post on Zulip Coq Github Bot (Aug 27 2021 at 09:55):

mattam82:

view this post on Zulip Coq Github Bot (Aug 27 2021 at 09:56):

mattam82:

view this post on Zulip Coq Github Bot (Aug 27 2021 at 10:09):

mattam82:

view this post on Zulip Coq Github Bot (Aug 31 2021 at 08:32):

ppedrot:

view this post on Zulip Coq Github Bot (Aug 31 2021 at 18:43):

ejgallego:

view this post on Zulip Coq Github Bot (Aug 31 2021 at 22:09):

Alizter:

view this post on Zulip Coq Github Bot (Sep 01 2021 at 14:46):

mattam82:

view this post on Zulip Coq Github Bot (Sep 01 2021 at 15:11):

mattam82:

view this post on Zulip Coq Github Bot (Sep 01 2021 at 15:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 02 2021 at 15:09):

Zimmi48 added Zimmi48 to the number-maintainers team.

view this post on Zulip Coq Github Bot (Sep 02 2021 at 15:10):

Zimmi48 added proux01 to the number-maintainers team.

view this post on Zulip Coq Github Bot (Sep 02 2021 at 15:10):

Zimmi48 removed Zimmi48 from the number-maintainers team.

view this post on Zulip Coq Github Bot (Sep 02 2021 at 15:12):

Zimmi48 added Alizter to the number-maintainers team.

view this post on Zulip Coq Github Bot (Sep 02 2021 at 17:08):

Zimmi48 added JasonGross to the number-maintainers team.

view this post on Zulip Coq Github Bot (Sep 05 2021 at 12:22):

ppedrot:

view this post on Zulip Coq Github Bot (Sep 05 2021 at 12:22):

ppedrot:

view this post on Zulip Coq Github Bot (Sep 05 2021 at 12:24):

ppedrot:

view this post on Zulip Coq Github Bot (Sep 06 2021 at 12:09):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 06 2021 at 12:10):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 06 2021 at 13:02):

Zimmi48 added proux01 to the vm-native-maintainers team.

view this post on Zulip Coq Github Bot (Sep 06 2021 at 13:03):

Zimmi48 added proux01 to the extensible-syntax-maintainers team.

view this post on Zulip Coq Github Bot (Sep 06 2021 at 15:36):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 06 2021 at 18:28):

jfehrle:

view this post on Zulip Coq Github Bot (Sep 07 2021 at 04:34):

jfehrle:

view this post on Zulip Coq Github Bot (Sep 07 2021 at 13:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 07 2021 at 13:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 07 2021 at 18:35):

herbelin:

view this post on Zulip Coq Github Bot (Sep 07 2021 at 18:47):

herbelin:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 12:04):

herbelin:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 13:29):

olegrezi:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 13:30):

olegrezi:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 13:59):

mattam82:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 14:51):

mattam82:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 15:55):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 15:57):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 08 2021 at 16:19):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 10 2021 at 19:29):

mattam82:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 08:14):

proux01:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 08:14):

proux01:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 16:50):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 16:51):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 16:51):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 13 2021 at 17:16):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 14 2021 at 07:11):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 09:08):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 12:00):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 12:52):

Mbodin:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:22):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:24):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:35):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:39):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:40):

SkySkimmer:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 14:45):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 15:08):

mattam82:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 15:34):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 15:38):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 15:38):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 16:24):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 16:25):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 15 2021 at 23:55):

ak-2485:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 00:00):

ak-2485:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 00:01):

ak-2485:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 01:59):

ak-2485:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 09:45):

Mbodin:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 09:47):

Mbodin:

view this post on Zulip Coq Github Bot (Sep 16 2021 at 13:44):

silene:

view this post on Zulip Coq Github Bot (Sep 17 2021 at 13:43):

Zimmi48 created the repository coq/prerequisites.

view this post on Zulip Coq Github Bot (Sep 17 2021 at 13:44):

Zimmi48 added MSoegtropIMC to prerequisites.

view this post on Zulip Coq Github Bot (Sep 20 2021 at 09:50):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 21 2021 at 11:56):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 21 2021 at 13:12):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 21 2021 at 13:14):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 24 2021 at 12:05):

alaingirault:

view this post on Zulip Coq Github Bot (Sep 27 2021 at 10:35):

Mbodin:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 00:10):

NoLongerBreathedIn:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 11:13):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 11:13):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 11:23):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 11:24):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 11:26):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 13:03):

Alizter:

view this post on Zulip Coq Github Bot (Sep 28 2021 at 14:07):

Zimmi48 added Alizter to the Website maintainers team.

view this post on Zulip Coq Github Bot (Sep 28 2021 at 18:10):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 08:27):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 08:28):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 08:30):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 10:15):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 11:51):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:08):

mattam82:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:13):

SkySkimmer:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:18):

SkySkimmer:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:22):

SkySkimmer:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:23):

mattam82:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:29):

herbelin:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 14:30):

mattam82:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 15:06):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 15:09):

Alizter:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 17:06):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 29 2021 at 17:08):

ejgallego:

view this post on Zulip Coq Github Bot (Sep 30 2021 at 17:40):

Zimmi48 added TheoWinterhalter to the Contributors team.

view this post on Zulip Coq Github Bot (Oct 02 2021 at 17:13):

NoLongerBreathedIn:

view this post on Zulip Coq Github Bot (Oct 06 2021 at 10:26):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 06 2021 at 10:27):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 06 2021 at 21:44):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 06 2021 at 21:48):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 06 2021 at 21:48):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 11 2021 at 14:59):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 11 2021 at 17:45):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 07:45):

Alizter:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 07:53):

Alizter:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 07:53):

Alizter:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 14:05):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 14:41):

mattam82:

view this post on Zulip Coq Github Bot (Oct 13 2021 at 15:06):

mattam82:

view this post on Zulip Coq Github Bot (Oct 14 2021 at 10:32):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 14 2021 at 10:33):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 14 2021 at 10:34):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 14 2021 at 21:43):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 14 2021 at 22:06):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 15 2021 at 04:10):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 15 2021 at 07:11):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 18 2021 at 05:31):

kirniko:

view this post on Zulip Coq Github Bot (Oct 19 2021 at 09:52):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 19 2021 at 22:33):

kirniko:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 10:22):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 10:58):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 11:03):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 11:04):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 12:39):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 14:58):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 15:00):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 15:05):

Alizter:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 15:08):

mattam82:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 15:08):

mattam82:

view this post on Zulip Coq Github Bot (Oct 20 2021 at 15:31):

Zimmi48:

view this post on Zulip Coq Github Bot (Oct 21 2021 at 19:07):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 22 2021 at 15:36):

SkySkimmer:

view this post on Zulip Coq Github Bot (Oct 22 2021 at 15:55):

Alizter:

view this post on Zulip Coq Github Bot (Oct 22 2021 at 20:45):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 18:29):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 19:25):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 19:27):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 19:30):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 20:55):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 20:58):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 25 2021 at 20:59):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 26 2021 at 17:03):

jfehrle:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 09:55):

Alizter:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 14:12):

mattam82:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 14:13):

mattam82:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 14:38):

silene:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 14:38):

mattam82:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 14:40):

mattam82:

view this post on Zulip Coq Github Bot (Oct 27 2021 at 16:13):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 02 2021 at 09:04):

Zimmi48:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 07:19):

MSoegtropIMC edited the repository coq/platform.

view this post on Zulip Coq Github Bot (Nov 03 2021 at 14:38):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 15:10):

mattam82:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 15:10):

mattam82:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 15:53):

mattam82:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 16:09):

mattam82:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 16:27):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 16:28):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 19:55):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 03 2021 at 22:31):

ejgallego added erikmd to the vm-native-maintainers team.

view this post on Zulip Coq Github Bot (Nov 08 2021 at 10:02):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 08 2021 at 19:30):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 08 2021 at 19:37):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 11:36):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 11:37):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 12:24):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 12:25):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 13:15):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 22:55):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 09 2021 at 23:04):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 10 2021 at 09:49):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 10 2021 at 14:01):

mattam82:

view this post on Zulip Coq Github Bot (Nov 10 2021 at 14:15):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 10 2021 at 14:16):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 10 2021 at 15:53):

mattam82:

view this post on Zulip Coq Github Bot (Nov 12 2021 at 10:01):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 12 2021 at 10:01):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 15 2021 at 14:07):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 15 2021 at 18:52):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 16 2021 at 23:45):

jfehrle:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 11:24):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 14:48):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 15:29):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 15:39):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 15:40):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 15:55):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 15:56):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 16:03):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 16:08):

mattam82:

view this post on Zulip Coq Github Bot (Nov 17 2021 at 16:12):

Zimmi48 added herbelin to the extraction-maintainers team.

view this post on Zulip Coq Github Bot (Nov 19 2021 at 15:02):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 19 2021 at 15:07):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 19 2021 at 15:46):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 19 2021 at 15:53):

palmskog:

view this post on Zulip Coq Github Bot (Nov 19 2021 at 15:54):

ejgallego:

view this post on Zulip Coq Github Bot (Nov 24 2021 at 13:57):

SkySkimmer:

view this post on Zulip Coq Github Bot (Nov 25 2021 at 14:50):

gares:

view this post on Zulip Coq Github Bot (Nov 25 2021 at 14:51):

gares:

view this post on Zulip Coq Github Bot (Nov 25 2021 at 14:51):

gares:

view this post on Zulip Coq Github Bot (Nov 25 2021 at 14:51):

gares:

view this post on Zulip Coq Github Bot (Nov 25 2021 at 14:52):

gares:

view this post on Zulip Coq Github Bot (Nov 30 2021 at 12:23):

Alizter:

view this post on Zulip Coq Github Bot (Dec 01 2021 at 10:28):

mattam82:

view this post on Zulip Coq Github Bot (Dec 01 2021 at 15:42):

mattam82:

view this post on Zulip Coq Github Bot (Dec 01 2021 at 16:06):

mattam82:

view this post on Zulip Coq Github Bot (Dec 01 2021 at 16:24):

mattam82:

view this post on Zulip Coq Github Bot (Dec 03 2021 at 12:41):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 03 2021 at 12:41):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 03 2021 at 12:44):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 03 2021 at 12:50):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 08 2021 at 09:54):

ppedrot:

view this post on Zulip Coq Github Bot (Dec 08 2021 at 10:00):

SkySkimmer:

view this post on Zulip Coq Github Bot (Dec 08 2021 at 10:00):

SkySkimmer:

view this post on Zulip Coq Github Bot (Dec 08 2021 at 13:18):

SkySkimmer:

view this post on Zulip Coq Github Bot (Dec 13 2021 at 13:39):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 13 2021 at 13:40):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 13 2021 at 13:40):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 08:47):

gares:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 11:19):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 11:21):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 11:44):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 11:52):

palmskog:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 11:56):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 12:33):

palmskog:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 12:48):

mattam82:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 15:56):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 15 2021 at 15:56):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 16 2021 at 11:33):

Zimmi48 removed MSoegtropIMC to coq.

view this post on Zulip Gaëtan Gilbert (Dec 16 2021 at 11:44):

??

view this post on Zulip Théo Zimmermann (Dec 16 2021 at 13:17):

When Michael was working on GitHub Actions on the Coq repository, he had asked to be granted admin access, making him the only "collaborator" (with a special status) on the Coq repo. Now that the Platform is an independent repo, there was no point keeping this.

view this post on Zulip Coq Github Bot (Dec 16 2021 at 19:26):

ejgallego:

view this post on Zulip Coq Github Bot (Dec 22 2021 at 14:45):

ana-borges:

view this post on Zulip Coq Github Bot (Dec 22 2021 at 14:46):

aserebrenik:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 11:19):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 11:25):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 15:10):

spitters:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 16:17):

spitters:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 16:42):

Zimmi48:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 19:04):

jgrosso:

view this post on Zulip Coq Github Bot (Dec 23 2021 at 19:05):

jgrosso:

view this post on Zulip Coq Github Bot (Dec 28 2021 at 16:16):

k4rtik:

view this post on Zulip Coq Github Bot (Dec 29 2021 at 02:41):

aa755:

view this post on Zulip Coq Github Bot (Dec 29 2021 at 21:35):

aa755:

view this post on Zulip Coq Github Bot (Jan 03 2022 at 00:45):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 03 2022 at 00:47):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 03 2022 at 05:29):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 03 2022 at 13:39):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 04 2022 at 18:57):

Alizter:

view this post on Zulip Coq Github Bot (Jan 04 2022 at 23:11):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 10:36):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 13:24):

ppedrot:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 14:37):

Alizter:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 15:58):

mattam82:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 17:32):

jfehrle:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 19:12):

d-m-silva:

view this post on Zulip Coq Github Bot (Jan 05 2022 at 19:13):

d-m-silva:

view this post on Zulip Coq Github Bot (Jan 10 2022 at 13:26):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 10 2022 at 13:27):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 10 2022 at 13:27):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 10 2022 at 13:31):

gares:

view this post on Zulip Coq Github Bot (Jan 11 2022 at 14:12):

palmskog added proux01 to the OPAM maintainer team.

view this post on Zulip Coq Github Bot (Jan 12 2022 at 09:28):

herbelin:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 09:36):

Alizter:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 09:43):

Alizter:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 09:48):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 16:39):

Alizter:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 19:25):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 12 2022 at 19:41):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 16:55):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 16:56):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 16:58):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 17:40):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 17:41):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 17:41):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 13 2022 at 19:29):

wkolowski:

view this post on Zulip Coq Github Bot (Jan 17 2022 at 16:48):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 17 2022 at 17:23):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 17 2022 at 18:08):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 12:05):

ana-borges:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 13:44):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 14:55):

kodyvajjha:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 15:07):

mycroft92:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 16:14):

CohenCyril:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 17:45):

mycroft92:

view this post on Zulip Coq Github Bot (Jan 18 2022 at 23:59):

aaronpuchert:

view this post on Zulip Coq Github Bot (Jan 19 2022 at 01:23):

TDiazT:

view this post on Zulip Coq Github Bot (Jan 19 2022 at 05:49):

proux01:

view this post on Zulip Coq Github Bot (Jan 19 2022 at 12:41):

mattam82:

view this post on Zulip Coq Github Bot (Jan 19 2022 at 14:34):

kyoDralliam:

view this post on Zulip Coq Github Bot (Jan 21 2022 at 10:15):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 21 2022 at 19:03):

palmskog:

view this post on Zulip Coq Github Bot (Jan 22 2022 at 11:00):

palmskog:

view this post on Zulip Coq Github Bot (Jan 22 2022 at 11:09):

palmskog:

view this post on Zulip Coq Github Bot (Jan 22 2022 at 17:42):

galois1:

view this post on Zulip Coq Github Bot (Jan 22 2022 at 20:44):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 22 2022 at 20:49):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 23 2022 at 14:07):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 23 2022 at 17:20):

herbelin:

view this post on Zulip Coq Github Bot (Jan 23 2022 at 19:57):

herbelin:

view this post on Zulip Coq Github Bot (Jan 25 2022 at 08:47):

palmskog:

view this post on Zulip Coq Github Bot (Jan 25 2022 at 08:54):

palmskog:

view this post on Zulip Coq Github Bot (Jan 25 2022 at 11:54):

wyn:

view this post on Zulip Coq Github Bot (Jan 25 2022 at 13:53):

wyn:

view this post on Zulip Coq Github Bot (Jan 25 2022 at 14:16):

SkySkimmer added SkySkimmer to the engine-maintainers team.

view this post on Zulip Coq Github Bot (Jan 26 2022 at 00:30):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 05:52):

davidjao:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 10:56):

mattam82:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 10:58):

mattam82:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 11:25):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 13:23):

Alizter:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 15:56):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 15:56):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jan 26 2022 at 15:58):

mattam82:

view this post on Zulip Coq Github Bot (Jan 27 2022 at 01:33):

erikmd:

view this post on Zulip Coq Github Bot (Jan 27 2022 at 01:34):

erikmd:

view this post on Zulip Coq Github Bot (Jan 28 2022 at 17:44):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 13:56):

MackieLoeffel:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 16:26):

gangchensh:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 18:45):

justinfargnoli:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 19:36):

thomas-lamiaux:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 19:57):

nmvdw:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 20:22):

rnrand:

view this post on Zulip Coq Github Bot (Jan 29 2022 at 20:45):

palexand:

view this post on Zulip Coq Github Bot (Jan 30 2022 at 16:51):

rjraya:

view this post on Zulip Coq Github Bot (Jan 30 2022 at 17:32):

tadeuszlitak:

view this post on Zulip Coq Github Bot (Jan 30 2022 at 21:12):

erikmd:

view this post on Zulip Coq Github Bot (Jan 31 2022 at 10:37):

ejgallego:

view this post on Zulip Coq Github Bot (Jan 31 2022 at 11:18):

gares:

view this post on Zulip Coq Github Bot (Jan 31 2022 at 12:37):

clayrat:

view this post on Zulip Coq Github Bot (Jan 31 2022 at 15:30):

pedrotst:

view this post on Zulip Coq Github Bot (Jan 31 2022 at 17:28):

QinshiWang:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 09:42):

trommler:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 09:58):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 11:32):

Matafou:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 11:36):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 12:53):

Matafou:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 12:54):

Matafou:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 12:55):

palmskog:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 12:57):

ju-sh:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 13:01):

palmskog:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 14:43):

Agnishom:

view this post on Zulip Coq Github Bot (Feb 01 2022 at 18:10):

mukeshtiwari:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 08:40):

berpeti:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 12:19):

ppedrot:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 12:51):

Yu-zh:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 14:45):

smalewski:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 15:08):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 15:25):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 15:26):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 15:45):

mattam82:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 18:06):

erikmd:

view this post on Zulip Coq Github Bot (Feb 02 2022 at 18:09):

erikmd:

view this post on Zulip Coq Github Bot (Feb 03 2022 at 13:28):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 03 2022 at 14:42):

jouvelot:

view this post on Zulip Coq Github Bot (Feb 03 2022 at 18:19):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 03 2022 at 18:25):

justinfargnoli:

view this post on Zulip Coq Github Bot (Feb 04 2022 at 01:54):

clarksmr:

view this post on Zulip Coq Github Bot (Feb 04 2022 at 12:37):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 04 2022 at 21:10):

herbelin:

view this post on Zulip Coq Github Bot (Feb 04 2022 at 21:52):

herbelin:

view this post on Zulip Coq Github Bot (Feb 05 2022 at 17:01):

j3parker:

view this post on Zulip Coq Github Bot (Feb 06 2022 at 22:08):

maximedenes:

view this post on Zulip Coq Github Bot (Feb 07 2022 at 15:19):

YaZko:

view this post on Zulip Coq Github Bot (Feb 07 2022 at 15:23):

Chobbes:

view this post on Zulip Coq Github Bot (Feb 08 2022 at 02:19):

cohradoesr:

view this post on Zulip Coq Github Bot (Feb 08 2022 at 07:44):

jnarboux:

view this post on Zulip Coq Github Bot (Feb 08 2022 at 19:33):

herbelin:

view this post on Zulip Coq Github Bot (Feb 08 2022 at 19:53):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 09:01):

herbelin:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:27):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:50):

Alizter:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:52):

Alizter:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:54):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:55):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:55):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:56):

Alizter:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:57):

Alizter:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 13:59):

Alizter:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 15:08):

tlringer:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 15:34):

mattam82:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 16:07):

mattam82:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 18:30):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 18:40):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 18:42):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 18:48):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 18:50):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 09 2022 at 21:33):

herbelin:

view this post on Zulip Coq Github Bot (Feb 10 2022 at 07:00):

agrawalarpan:

view this post on Zulip Coq Github Bot (Feb 10 2022 at 18:05):

viampietro:

view this post on Zulip Coq Github Bot (Feb 11 2022 at 14:17):

palmskog:

view this post on Zulip Coq Github Bot (Feb 11 2022 at 14:21):

palmskog:

view this post on Zulip Coq Github Bot (Feb 11 2022 at 14:35):

palmskog:

view this post on Zulip Coq Github Bot (Feb 11 2022 at 16:40):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 11 2022 at 17:11):

eponier:

view this post on Zulip Coq Github Bot (Feb 12 2022 at 09:48):

JBakouny:

view this post on Zulip Coq Github Bot (Feb 12 2022 at 18:09):

InnovativeInventor:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 03:21):

JasonGross:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 03:22):

JasonGross:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 09:34):

orilahav:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 09:35):

orilahav:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 12:51):

gmalecha:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:03):

Columbus240:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:12):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:16):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:18):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:33):

gmalecha:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 13:52):

Janno:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 16:31):

barclata:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 16:53):

Zimmi48:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 18:01):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 18:02):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 19:06):

pi8027:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 20:28):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 20:34):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 20:44):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:13):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:16):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:22):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:25):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:27):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:28):

Alizter:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 21:33):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 23:48):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 14 2022 at 23:56):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 00:08):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 01:49):

ju-sh:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 09:28):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 09:28):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 09:47):

MackieLoeffel:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 10:55):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 11:00):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 13:09):

ana-borges:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 13:35):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 15:43):

galois1:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 15:46):

galois1:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 16:03):

galois1:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 17:26):

galois1:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 17:29):

galois1:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 18:31):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 18:56):

Alizter:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 18:58):

Alizter:

view this post on Zulip Coq Github Bot (Feb 15 2022 at 20:44):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 09:55):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 09:55):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 10:34):

klausnat:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 14:42):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 14:42):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 14:45):

charguer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 14:46):

charguer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 14:48):

charguer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 15:10):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 16:14):

CohenCyril:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 16:22):

CohenCyril:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 17:29):

gares:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 17:36):

mattam82:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 17:38):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 17:40):

ana-borges:

view this post on Zulip Coq Github Bot (Feb 16 2022 at 19:57):

matejkosik removed matejkosik from the Contributors team.

view this post on Zulip Coq Github Bot (Feb 16 2022 at 22:35):

Blaisorblade:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 13:07):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 13:08):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 13:24):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 13:28):

SkySkimmer:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 13:40):

amahboubi:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 14:43):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 14:43):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 14:48):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 14:48):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 14:56):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 15:03):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 15:03):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 15:05):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 15:17):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 15:18):

kyoDralliam:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 16:13):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 17 2022 at 16:59):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 13:23):

samvang:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 14:57):

samvang:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 14:59):

samvang:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 19:13):

ana-borges:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 19:14):

ana-borges:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 19:22):

samvang:

view this post on Zulip Coq Github Bot (Feb 18 2022 at 19:30):

samvang:

view this post on Zulip Coq Github Bot (Feb 21 2022 at 15:04):

hannelita:

view this post on Zulip Coq Github Bot (Feb 21 2022 at 15:05):

hannelita:

view this post on Zulip Coq Github Bot (Feb 21 2022 at 15:26):

hannelita:

view this post on Zulip Coq Github Bot (Feb 21 2022 at 15:42):

ejgallego:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 06:19):

jfehrle:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 12:54):

rnollet:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 12:56):

rnollet:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 14:57):

teoc98:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 15:50):

hannelita:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 15:50):

hannelita:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 15:51):

hannelita:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 15:52):

hannelita:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 17:22):

jfehrle:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 20:18):

herbelin:

view this post on Zulip Coq Github Bot (Feb 22 2022 at 23:38):

samuelgruetter:

view this post on Zulip Coq Github Bot (Feb 23 2022 at 01:42):

LouGlzHuesca:

view this post on Zulip Coq Github Bot (Feb 23 2022 at 21:10):

gares:

view this post on Zulip Coq Github Bot (Mar 02 2022 at 14:22):

mattam82:

view this post on Zulip Coq Github Bot (Mar 03 2022 at 13:01):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 07 2022 at 22:03):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 07 2022 at 22:05):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 07 2022 at 22:38):

maximedenes:

view this post on Zulip Coq Github Bot (Mar 07 2022 at 22:39):

maximedenes:

view this post on Zulip Coq Github Bot (Mar 09 2022 at 14:58):

jfehrle:

view this post on Zulip Coq Github Bot (Mar 09 2022 at 16:15):

mattam82:

view this post on Zulip Coq Github Bot (Mar 14 2022 at 13:00):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 14 2022 at 15:17):

ppedrot:

view this post on Zulip Coq Github Bot (Mar 14 2022 at 18:36):

Zimmi48:

view this post on Zulip Coq Github Bot (Mar 16 2022 at 13:30):

mattam82:

view this post on Zulip Coq Github Bot (Mar 16 2022 at 13:30):

mattam82:

view this post on Zulip Coq Github Bot (Mar 16 2022 at 15:41):

mattam82:

view this post on Zulip Coq Github Bot (Mar 16 2022 at 16:10):

ppedrot:

view this post on Zulip Coq Github Bot (Mar 16 2022 at 16:18):

mattam82:

view this post on Zulip Coq Github Bot (Mar 17 2022 at 21:43):

hannelita:

view this post on Zulip Coq Github Bot (Mar 19 2022 at 17:32):

hannelita:

view this post on Zulip Coq Github Bot (Mar 21 2022 at 15:53):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Mar 21 2022 at 16:55):

LasseBlaauwbroek:

view this post on Zulip Coq Github Bot (Mar 23 2022 at 13:38):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 28 2022 at 00:40):

hannelita:

view this post on Zulip Coq Github Bot (Mar 28 2022 at 14:29):

hannelita:

view this post on Zulip Coq Github Bot (Mar 29 2022 at 01:55):

hannelita:

view this post on Zulip Coq Github Bot (Mar 29 2022 at 08:23):

thery:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 13:09):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 13:09):

SkySkimmer:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 17:12):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 17:15):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 17:19):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 18:31):

Alizter:

view this post on Zulip Coq Github Bot (Mar 30 2022 at 18:43):

Alizter:

view this post on Zulip Coq Github Bot (Mar 31 2022 at 13:19):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 31 2022 at 13:40):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 31 2022 at 13:43):

ejgallego:

view this post on Zulip Coq Github Bot (Mar 31 2022 at 17:44):

Alizter:

view this post on Zulip Coq Github Bot (Apr 01 2022 at 13:11):

Zimmi48 added ana-borges to the number-maintainers team.

view this post on Zulip Coq Github Bot (Apr 06 2022 at 12:50):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 12:51):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 12:52):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 12:52):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 12:53):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 13:38):

ppedrot:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 14:17):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 14:26):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 14:34):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 14:35):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 14:45):

mattam82:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 15:13):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 15:13):

ejgallego:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 18:22):

Alizter:

view this post on Zulip Coq Github Bot (Apr 06 2022 at 18:25):

Alizter:

view this post on Zulip Coq Github Bot (Apr 07 2022 at 08:48):

Alizter:

view this post on Zulip Coq Github Bot (Apr 08 2022 at 16:44):

Zimmi48 removed Zimmi48 from the build-maintainers team.

view this post on Zulip Coq Github Bot (Apr 11 2022 at 21:00):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 12 2022 at 10:41):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 12 2022 at 10:42):

JasonGross:

view this post on Zulip Coq Github Bot (Apr 12 2022 at 20:15):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 13 2022 at 13:04):

mattam82:

view this post on Zulip Coq Github Bot (Apr 13 2022 at 13:05):

mattam82:

view this post on Zulip Coq Github Bot (Apr 13 2022 at 13:05):

mattam82:

view this post on Zulip Coq Github Bot (Apr 13 2022 at 13:06):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2022 at 09:49):

mattam82:

view this post on Zulip Coq Github Bot (Apr 19 2022 at 09:51):

mattam82:

view this post on Zulip Coq Github Bot (Apr 20 2022 at 07:48):

Zimmi48 added jfehrle to the coqide-maintainers team.

view this post on Zulip Coq Github Bot (Apr 20 2022 at 14:31):

Lysxia:

view this post on Zulip Coq Github Bot (Apr 20 2022 at 21:00):

Alizter:

view this post on Zulip Coq Github Bot (Apr 20 2022 at 21:01):

Alizter:

view this post on Zulip Coq Github Bot (Apr 25 2022 at 12:45):

gares:

view this post on Zulip Coq Github Bot (Apr 25 2022 at 18:33):

jfehrle:

view this post on Zulip Coq Github Bot (Apr 25 2022 at 19:28):

SkySkimmer:

view this post on Zulip Coq Github Bot (Apr 25 2022 at 22:46):

Alizter:

view this post on Zulip Coq Github Bot (Apr 26 2022 at 11:50):

gares:

view this post on Zulip Coq Github Bot (Apr 26 2022 at 11:56):

gares:

view this post on Zulip Coq Github Bot (Apr 27 2022 at 12:00):

ppedrot added Alizter to the bench-maintainers team.

view this post on Zulip Coq Github Bot (Apr 27 2022 at 14:28):

mattam82:

view this post on Zulip Coq Github Bot (Apr 27 2022 at 14:42):

mattam82:

view this post on Zulip Coq Github Bot (Apr 27 2022 at 14:49):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 02 2022 at 11:18):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 02 2022 at 11:18):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 02 2022 at 11:34):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 02 2022 at 13:06):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 04 2022 at 18:46):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 06 2022 at 15:29):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 06 2022 at 15:29):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 09 2022 at 13:18):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 10 2022 at 11:47):

Zimmi48:

view this post on Zulip Coq Github Bot (May 10 2022 at 14:11):

Lysxia:

view this post on Zulip Coq Github Bot (May 11 2022 at 12:24):

maximedenes:

view this post on Zulip Coq Github Bot (May 11 2022 at 12:31):

Alizter:

view this post on Zulip Coq Github Bot (May 11 2022 at 13:47):

gares:

view this post on Zulip Coq Github Bot (May 11 2022 at 14:34):

mattam82:

view this post on Zulip Coq Github Bot (May 11 2022 at 14:44):

mattam82:

view this post on Zulip Coq Github Bot (May 11 2022 at 14:48):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 11 2022 at 14:58):

mattam82:

view this post on Zulip Coq Github Bot (May 11 2022 at 15:00):

mattam82:

view this post on Zulip Coq Github Bot (May 11 2022 at 15:02):

mattam82:

view this post on Zulip Coq Github Bot (May 16 2022 at 12:59):

maximedenes:

view this post on Zulip Coq Github Bot (May 16 2022 at 13:07):

maximedenes:

view this post on Zulip Coq Github Bot (May 16 2022 at 13:07):

maximedenes:

view this post on Zulip Coq Github Bot (May 16 2022 at 13:13):

ppedrot:

view this post on Zulip Coq Github Bot (May 16 2022 at 13:29):

mattam82:

view this post on Zulip Coq Github Bot (May 16 2022 at 14:29):

Alizter:

view this post on Zulip Coq Github Bot (May 16 2022 at 14:58):

Alizter:

view this post on Zulip Coq Github Bot (May 16 2022 at 15:10):

Zimmi48:

view this post on Zulip Coq Github Bot (May 17 2022 at 15:30):

Alizter:

view this post on Zulip Coq Github Bot (May 18 2022 at 11:42):

Alizter:

view this post on Zulip Coq Github Bot (May 18 2022 at 11:43):

Alizter:

view this post on Zulip Coq Github Bot (May 22 2022 at 23:01):

Alizter:

view this post on Zulip Coq Github Bot (May 22 2022 at 23:01):

Alizter:

view this post on Zulip Coq Github Bot (May 22 2022 at 23:03):

Alizter:

view this post on Zulip Coq Github Bot (May 23 2022 at 08:30):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 23 2022 at 12:06):

Alizter:

view this post on Zulip Coq Github Bot (May 23 2022 at 12:06):

Alizter:

view this post on Zulip Coq Github Bot (May 25 2022 at 11:27):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (May 25 2022 at 11:38):

ejgallego:

view this post on Zulip Coq Github Bot (May 25 2022 at 11:42):

Alizter:

view this post on Zulip Coq Github Bot (May 25 2022 at 11:43):

Alizter:

view this post on Zulip Coq Github Bot (May 25 2022 at 12:05):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 25 2022 at 13:19):

Alizter:

view this post on Zulip Coq Github Bot (May 25 2022 at 14:22):

mattam82:

view this post on Zulip Coq Github Bot (May 25 2022 at 14:55):

mattam82:

view this post on Zulip Coq Github Bot (May 25 2022 at 15:03):

mattam82:

view this post on Zulip Coq Github Bot (May 25 2022 at 15:07):

gares:

view this post on Zulip Coq Github Bot (May 25 2022 at 17:58):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (May 26 2022 at 13:13):

Zimmi48 added Alizter to the doc-maintainers team.

view this post on Zulip Coq Github Bot (May 27 2022 at 13:01):

ppedrot:

view this post on Zulip Coq Github Bot (May 30 2022 at 12:29):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 30 2022 at 12:30):

SkySkimmer:

view this post on Zulip Coq Github Bot (May 31 2022 at 08:39):

maximedenes:

view this post on Zulip Coq Github Bot (May 31 2022 at 09:03):

gares:

view this post on Zulip Coq Github Bot (May 31 2022 at 09:59):

Zimmi48:

view this post on Zulip Coq Github Bot (May 31 2022 at 10:56):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 11:02):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 14:43):

ejgallego:

view this post on Zulip Coq Github Bot (May 31 2022 at 14:44):

ejgallego:

view this post on Zulip Coq Github Bot (May 31 2022 at 14:44):

ejgallego:

view this post on Zulip Coq Github Bot (May 31 2022 at 22:17):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 22:17):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 22:22):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 22:22):

Alizter:

view this post on Zulip Coq Github Bot (May 31 2022 at 23:02):

Alizter:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 11:56):

maximedenes:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 11:57):

maximedenes:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 13:34):

gares:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 13:35):

gares:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 13:43):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 01 2022 at 14:33):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 02 2022 at 11:26):

ybertot:

view this post on Zulip Coq Github Bot (Jun 02 2022 at 13:41):

charguer:

view this post on Zulip Coq Github Bot (Jun 02 2022 at 13:50):

charguer:

view this post on Zulip Coq Github Bot (Jun 08 2022 at 11:24):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 10 2022 at 10:24):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 13 2022 at 23:36):

Alizter:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 12:24):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 13:41):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 20:34):

gares:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 20:37):

gares:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 20:39):

gares:

view this post on Zulip Coq Github Bot (Jun 14 2022 at 20:53):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 07:44):

maximedenes:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 07:58):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 08:15):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 08:16):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 08:41):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 08:41):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 09:04):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 09:12):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 09:49):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 13:52):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 14:03):

gares:

view this post on Zulip Coq Github Bot (Jun 15 2022 at 14:21):

ppedrot:

view this post on Zulip Coq Github Bot (Jun 17 2022 at 07:45):

Zimmi48:

view this post on Zulip Coq Github Bot (Jun 17 2022 at 11:42):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jun 21 2022 at 19:42):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 21 2022 at 19:43):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 21 2022 at 19:44):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 12:04):

mattam82:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 14:40):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 15:02):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 15:53):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 15:56):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 18:54):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 22 2022 at 19:31):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2022 at 09:51):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 23 2022 at 13:11):

ejgallego:

view this post on Zulip Coq Github Bot (Jun 24 2022 at 14:01):

Zimmi48 added Alizter to the coqbot maintainers team.

view this post on Zulip Coq Github Bot (Jun 29 2022 at 14:56):

erikmd:

view this post on Zulip Coq Github Bot (Jun 29 2022 at 14:57):

erikmd:

view this post on Zulip Coq Github Bot (Jul 01 2022 at 08:35):

charguer:

view this post on Zulip Coq Github Bot (Jul 05 2022 at 05:33):

Zimmi48 removed SkySkimmer from the legacy-build-maintainers team.

view this post on Zulip Coq Github Bot (Jul 05 2022 at 05:33):

Zimmi48 removed JasonGross from the legacy-build-maintainers team.

view this post on Zulip Coq Github Bot (Jul 05 2022 at 05:33):

Zimmi48 removed gares from the legacy-build-maintainers team.

view this post on Zulip Théo Zimmermann (Jul 05 2022 at 05:34):

What I actually did, rather than what is written above, is delete the legacy-build-maintainers team (https://github.com/coq/coq/pull/16275).

view this post on Zulip Coq Github Bot (Jul 06 2022 at 07:36):

Zimmi48 added mrhaandi to the Contributors team.

view this post on Zulip Coq Github Bot (Jul 06 2022 at 13:16):

mattam82:

view this post on Zulip Coq Github Bot (Jul 13 2022 at 12:56):

mattam82:

view this post on Zulip Coq Github Bot (Jul 13 2022 at 15:17):

SkySkimmer:

view this post on Zulip Coq Github Bot (Jul 20 2022 at 13:05):

mattam82:

view this post on Zulip Coq Github Bot (Jul 20 2022 at 13:06):

mattam82:

view this post on Zulip Coq Github Bot (Jul 20 2022 at 14:00):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:15):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:17):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:19):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:19):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:19):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:26):

Janno:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:50):

louiseddp:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 13:54):

MSoegtropIMC:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 14:03):

gares:

view this post on Zulip Coq Github Bot (Aug 08 2022 at 14:03):

gares:

view this post on Zulip Coq Github Bot (Aug 10 2022 at 21:45):

kamundi1:

view this post on Zulip Coq Github Bot (Aug 11 2022 at 10:46):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 16 2022 at 14:14):

kyoDralliam:

view this post on Zulip Coq Github Bot (Aug 24 2022 at 11:51):

mattam82:

view this post on Zulip Coq Github Bot (Aug 31 2022 at 06:06):

ppedrot:

view this post on Zulip Coq Github Bot (Aug 31 2022 at 06:07):

ppedrot:

view this post on Zulip Coq Github Bot (Aug 31 2022 at 07:52):

Zimmi48:

view this post on Zulip Coq Github Bot (Aug 31 2022 at 08:17):

gares:

view this post on Zulip Coq Github Bot (Sep 07 2022 at 13:00):

mattam82:

view this post on Zulip Coq Github Bot (Sep 07 2022 at 13:00):

mattam82:

view this post on Zulip Coq Github Bot (Sep 14 2022 at 13:01):

mattam82:

view this post on Zulip Coq Github Bot (Sep 14 2022 at 13:06):

mattam82:

view this post on Zulip Coq Github Bot (Sep 14 2022 at 13:58):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 14 2022 at 13:58):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 14 2022 at 14:46):

palmskog:

view this post on Zulip Coq Github Bot (Sep 15 2022 at 11:37):

gares:

view this post on Zulip Coq Github Bot (Sep 16 2022 at 21:12):

aaronpuchert:

view this post on Zulip Coq Github Bot (Sep 19 2022 at 07:13):

Zimmi48:

view this post on Zulip Coq Github Bot (Sep 21 2022 at 06:45):

mattam82: