Stream: Announcements

Topic: new streams


view this post on Zulip Notification Bot (Feb 02 2021 at 18:51):

Cody Roux created a new stream #FMIE.

view this post on Zulip Notification Bot (May 14 2021 at 11:49):

Gaëtan Gilbert created a new stream #test.

view this post on Zulip Notification Bot (Jun 02 2021 at 05:42):

Théo Zimmermann created a new stream #Nix toolbox devs & users.

view this post on Zulip Notification Bot (Jun 28 2021 at 09:07):

Christian Doczkal created a new stream #Coq Workshop 2021.

view this post on Zulip Notification Bot (Aug 17 2021 at 21:22):

sameer gupta created a new stream #compare notes on coq or related research papers.

view this post on Zulip Notification Bot (Sep 23 2021 at 12:49):

Emilio Jesús Gallego Arias created a new stream #PyCoq.

view this post on Zulip Notification Bot (Oct 17 2021 at 22:03):

Erik Martin-Dorel created a new stream #Proof General users.

view this post on Zulip Notification Bot (Oct 17 2021 at 22:04):

Erik Martin-Dorel created a new stream #Proof General devs.

view this post on Zulip Notification Bot (Jan 31 2022 at 13:19):

Ali Caglayan created a new stream #Coq Hackathon and Working Group, Winter 2022.

view this post on Zulip Notification Bot (Jun 05 2022 at 15:24):

Emilio Jesús Gallego Arias created a new stream #Coq Universe.

view this post on Zulip Notification Bot (Jul 01 2022 at 10:27):

Emilio Jesús Gallego Arias created a new stream #coq-lsp.

view this post on Zulip Notification Bot (Sep 01 2022 at 15:38):

Emilio Jesús Gallego Arias created a new stream #Sabancı Coq Course - Sept 2022.

view this post on Zulip Notification Bot (Sep 14 2022 at 15:23):

Théo Zimmermann created a new stream #Hydras & Co. universe.

view this post on Zulip Notification Bot (Oct 28 2022 at 18:34):

Jacob Salzberg created a new stream #Simple Question on the foundations.

view this post on Zulip Notification Bot (Oct 28 2022 at 23:29):

Jacob Salzberg created a new stream #Notation in Coq'Art.


Last updated: Feb 06 2023 at 05:03 UTC