Set-Theoretic Reasoning in ProofLab