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 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: Jun 23 2024 at 04:03 UTC