Matching Brackets - Lean | SlaveCode