Ebook Coder

Proving by induction that a balanced strings of parentheses has equally many opening and closing parentheses