Stream: Coq users

Topic: ✔ /\\ typo or real syntax?


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

Anders Larsson has marked this topic as resolved.

view this post on Zulip Ali Caglayan (Oct 28 2022 at 15:03):

Probably an artifact from LaTeX

view this post on Zulip Jason Gross (Nov 01 2022 at 01:04):

I've reported this at https://github.com/coq/coq/issues/16761


Last updated: Jan 27 2023 at 00:03 UTC