[ LogicLab download](https://www.logicandproofs.com/download-the-logiclab#h.oymc8jrs302n) [ProofLab download](https://www.phil.cmu.edu/projects/apros/) [ProofLab User's Guide](https://www.phil.cmu.edu/projects/apros/downloads/manual/manual.html) [[Cantor-Bernstein Theorem Verification]] [[Set-Theoretic Reasoning in ProofLab]]