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
