Stream: Coq devs & plugin devs

Topic: Coq Calls


view this post on Zulip Emilio Jesús Gallego Arias (Oct 19 2022 at 14:51):

I'm back from the seminars, I guess we had no call today?

view this post on Zulip Théo Zimmermann (Oct 19 2022 at 14:52):

There was one, but it was very short given that there was just one topic left to discuss.

view this post on Zulip Emilio Jesús Gallego Arias (Oct 19 2022 at 14:56):

Ok, I will update the wiki, sorry for today, it was an extraordinary seminar I learned about yesterday night

view this post on Zulip Gaëtan Gilbert (Oct 24 2022 at 12:55):

IIUC this week is holidays for some people, should we postpone?

view this post on Zulip Théo Zimmermann (Oct 24 2022 at 15:04):

I would be happy to skip the Coq Call this week.

view this post on Zulip Emilio Jesús Gallego Arias (Oct 24 2022 at 17:00):

Happy to postpone too

view this post on Zulip Pierre-Marie Pédrot (Oct 24 2022 at 17:04):

ditto

view this post on Zulip Théo Zimmermann (Nov 02 2022 at 15:04):

Are we affected by the rendez-vous issue that made the MathComp developers switch to Zoom this morning?

view this post on Zulip Gaëtan Gilbert (Nov 02 2022 at 15:04):

what's the issue?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):

yes

view this post on Zulip Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):

It keeps crashing on me

view this post on Zulip Théo Zimmermann (Nov 02 2022 at 15:05):

For me too.

view this post on Zulip Emilio Jesús Gallego Arias (Nov 02 2022 at 15:07):

where do we go?

view this post on Zulip Théo Zimmermann (Nov 02 2022 at 15:08):

https://meet.jit.si/coq-call ?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 02 2022 at 17:13):

Notes of the call added at https://github.com/coq/coq/wiki/Coq-Call-2022-11-02 , discussion was a bit complex on some subject please don't hesitate to amend the notes

view this post on Zulip Emilio Jesús Gallego Arias (Nov 09 2022 at 11:16):

Very unfortunately I have an scheduling conflict today that I can't move, pushed my topics to next week

view this post on Zulip Théo Zimmermann (Nov 09 2022 at 13:49):

With no topics left on the agenda, let's cancel today's call.


Last updated: Feb 02 2023 at 13:03 UTC