Merge feature from main: allow for boolean statements in tactics, such as the Assume tactic #62

Closed jim-portegies closed 2 months ago