Stream: Coq users

Topic: ✔ How to generate fresh hypothesis names


view this post on Zulip Pierre Courtieu (Jun 21 2023 at 07:11):

Indeed an example in the documentation would be nice. I will propose something.

view this post on Zulip Pierre Courtieu (Jun 21 2023 at 07:19):

Ho @Ricardo Almeida is it on purpose that you link the documentation of coq v8.11? FYI the documentation has been enhanced quite a bit since then.

view this post on Zulip Notification Bot (Jun 21 2023 at 07:20):

Pierre Courtieu has marked this topic as resolved.

view this post on Zulip Paolo Giarrusso (Jun 21 2023 at 09:22):

@Pierre Courtieu a common reason people find old docs is that this is what google indexes, possibly because of stale links elsewhere. Agda outdated docs have a yellow top-of-page warning

view this post on Zulip Ricardo Almeida (Jun 21 2023 at 09:49):

@Pierre Courtieu , I hadn't realised that was an old one. Thanks for the heads up.


Last updated: Jun 23 2024 at 03:02 UTC