teake

ClearAll[Let, let, symbolOrListQ];
SetAttributes[{Let, let, symbolOrListQ}, HoldAll];

Let::lvset = "Local variable specification `1` is not valid.";

Let /: Verbatim[SetDelayed][lhs_, rhs : HoldPattern[Let[__, _]]] := 
  Block[{With}, Attributes[With] = {HoldAll};
   lhs := Evaluate[rhs /. HoldPattern[With[{}, b_]] :> b]];

Let[args : HoldPattern[Set[_?symbolOrListQ, _] ...], body_] :=