Planarity is a puzzle computer game by John Tantalo, based on a concept by Mary Radcliffe at Western Michigan University.
Whitney's planarity criterion | Mac Lane's planarity criterion |