Stream: VsCoq devs & users

Topic: Weekly call


view this post on Zulip Maxime Dénès (Mar 11 2022 at 10:40):

What would you guys think of having a weekly VsCoq call, where we review the status of PRs and issues? If course, if not enough activity during a week, we can always cancel the call.

view this post on Zulip Fabian Kunze (Mar 11 2022 at 12:23):

Maybe, before we commit to a weekly meeting, a "one time meeting" of where we stand with vscoq and what we plan to do with vscoq would be a good idea?

view this post on Zulip Maxime Dénès (Mar 11 2022 at 12:24):

Yes, sure!


Last updated: Jan 30 2023 at 18:04 UTC