Stream: VsCoq devs & users

Topic: Getting Enviroment at position


view this post on Zulip Hjalte Sorgenfrei Mac Dalland (Apr 11 2023 at 13:13):

I made an issue for it at https://github.com/coq-community/vscoq/issues/458


Last updated: Jun 24 2024 at 12:02 UTC