ocas-rewrite v0.27.2 — Pattern matching, rewriting and rule-based simplification for oCAS

Sign in to join the discussion — your thebay.events account works here.