Stream: Coq users

Topic: ✔ /\\ typo or real syntax?

Notification Bot (Oct 27 2022 at 21:14):

Anders Larsson has marked this topic as resolved.

Ali Caglayan (Oct 28 2022 at 15:03):

Probably an artifact from LaTeX

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