Skip to content

Weakening message fix

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/tactic-message-fix into main

Changed weakening saying there is a mismatch in the LHS when the issue is in the RHS.

DEFINITELY not something I spent a while confused by trying to fix my proof with.

Merge request reports