There's interest. I've taken point-set topology, so hopefully I'll be able to follow the proof without too much trouble. If so, building a simulation shouldn't be too difficult.