Stream: VsCoq devs & users

Topic: ✔ Release 0.3.8

view this post on Zulip Laurent Théry (Feb 28 2023 at 09:58):

Just to announce that I will try to make a new release of Vscoq 1 this week.

view this post on Zulip Notification Bot (Mar 01 2023 at 12:52):

Laurent Théry has marked this topic as resolved.

Last updated: Jun 04 2023 at 23:30 UTC