Ricardo Almeida (Apr 04 2024 at 10:26): Ricardo Almeida (Apr 04 2024 at 10:26):Hi, if I see something in Coq's Reference Manual which isn't really wrong but I think could be misleading to the reader, even if it's a small thing, is there a place to post it?
Pierre Roux (Apr 04 2024 at 10:32):Ideal solution if you have a fix to offer: open a pull request on github.com/coq/coq , otherwise opening an issue https://github.com/coq/coq/issues could at least enable to remember the issue, but the risk is higher that it remains unattended.
Last updated: Oct 13 2024 at 01:02 UTC