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.


Last updated: Jan 30 2023 at 18:04 UTC