Sorry for the late reply, I have limited connection until next week.
Yes, you can start proof across nodes; you need a network of daemons to be started before opening your Proof session.
Please have a look at pod.gsi.de, in particular at the SSH plugin. That is the advised way to start a Proof cluster over a cluster of LAN connected PCs.