1 Pull request opened by 1 person

• fix cat

  #449 opened Oct 3, 2024

1 Issue closed by 1 person

• Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10

  #394 closed Oct 2, 2024

1 Issue opened by 1 person

• Feature request: adding target to HB.instance

  #448 opened Oct 2, 2024

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• FTR: A scenario where `HB.instance` is too eager to infer

  #435 commented on Oct 2, 2024 • 0 new comments

• Bogus error: The conclusion of a builder is a mixin whose parameters

  #432 commented on Oct 3, 2024 • 0 new comments