Emilio Jesús Gallego Arias (Oct 19 2022 at 14:51): Emilio Jesús Gallego Arias (Oct 19 2022 at 14:51):I'm back from the seminars, I guess we had no call today?
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.
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
Gaëtan Gilbert (Oct 24 2022 at 12:55):IIUC this week is holidays for some people, should we postpone?
Théo Zimmermann (Oct 24 2022 at 15:04):I would be happy to skip the Coq Call this week.
Emilio Jesús Gallego Arias (Oct 24 2022 at 17:00):Happy to postpone too
Pierre-Marie Pédrot (Oct 24 2022 at 17:04):ditto
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?
Gaëtan Gilbert (Nov 02 2022 at 15:04):what's the issue?
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):yes
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):It keeps crashing on me
Théo Zimmermann (Nov 02 2022 at 15:05):For me too.
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:07):where do we go?
Théo Zimmermann (Nov 02 2022 at 15:08):https://meet.jit.si/coq-call ?
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
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
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