[Cantor-Bernstein Theorem Verification](https://www.phil.cmu.edu/projects/apros/?cbt)