Stream: User interfaces devs & users

Topic: CoqIDE blank screen on MacOS


view this post on Zulip Ali Caglayan (Nov 10 2021 at 13:09):

https://github.com/coq/coq/issues/15150


Last updated: May 19 2024 at 16:02 UTC