1 Pull request opened by 1 person

• Improve error messages, which mention module parameters.

  #1813 opened Feb 25, 2025

1 Issue closed by 1 person

• Core lint failure on well-typed term

  #1189 closed Feb 24, 2025

1 Issue opened by 1 person

• Incomplete reasoning about exponentiation: `2^^h + 2^^h - 2^^h` does not always simplify to `2^^h`

  #1812 opened Feb 24, 2025

1 Unresolved conversation

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.

• Use smart constructor instead of VSeq

  #1804 commented on Feb 24, 2025 • 1 new comment