If there is any default in the payment of any rental required to be paid or in the performance of any covenant required to be performed by any educational institution under the provisions of any lease agreement between such educational institution and an authority, the authority and any pledgee of such lease agreement, or either, may by appropriate proceedings enforce and compel payment of such rental and performance of such covenant.