Hyperproof
Students Clara J. Samba (left) and Linda Yung from Visiting Professor of Philosophy Ruth Eberle's class on elementary and symbolic logic use Hyperproof to try to determine whether or not some dodecahedron likes some cube.

Credits