Stream: math-comp analysis

Topic: Today's developer meeting


view this post on Zulip Yves Bertot (Jun 22 2021 at 14:16):

@Reynald Affeldt, I read the minutes Concerning https://github.com/math-comp/analysis/pull/385 I only have to mention a small typo: might solved --> might solve

view this post on Zulip Yves Bertot (Jun 22 2021 at 14:26):

I would have corrected myself, but apparently I do not have editing rights on this page.

view this post on Zulip Reynald Affeldt (Jun 22 2021 at 15:06):

Thank you!


Last updated: Aug 11 2022 at 02:03 UTC