Stream: VsCoq devs & users

Topic: ✔ Close Manifesto issue

view this post on Zulip Huỳnh Trần Khanh (Oct 13 2022 at 23:12):

Is it a good idea to close the Manifesto issue? The issue has served its purpose.

view this post on Zulip Notification Bot (Oct 14 2022 at 06:06):

Huỳnh Trần Khanh has marked this topic as resolved.

Last updated: Jun 04 2023 at 23:30 UTC