Stream: Coq users

Topic: Feedback/suggestion on documentation

view this post on Zulip 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?

view this post on Zulip Pierre Roux (Apr 04 2024 at 10:32):

Ideal solution if you have a fix to offer: open a pull request on , otherwise opening an issue could at least enable to remember the issue, but the risk is higher that it remains unattended.

Last updated: Jun 23 2024 at 04:03 UTC