Stream: VsCoq devs & users

Topic: New collaborator for VsCoq


view this post on Zulip Maxime Dénès (Dec 13 2022 at 14:06):

Hi there! I'm adding @Romain Tetley as a VsCoq maintainer. He will be working with Enrico and me on a new major VsCoq version.

view this post on Zulip Romain Tetley (Dec 13 2022 at 14:07):

Thanks Maxime, hi all ! Looking forward to collaborating with you !


Last updated: May 19 2024 at 18:02 UTC