1 Pull request merged by 1 person

• Replace "which" with "command -v"

  #124 merged Mar 28, 2025

1 Pull request opened by 1 person

• Define `NoDup_dec` with `Defined` instead of `Qed`

  #126 opened Mar 31, 2025

1 Issue closed by 1 person

• theories/Makefile has an implicit dependency on which

  #123 closed Mar 28, 2025

1 Issue opened by 1 person

• `NoDup_dec` definition is opaque

  #125 opened Mar 31, 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.

• Rify + lra solves Mixed Integer Programs

  #110 commented on Apr 1, 2025 • 0 new comments