I have been trying to install ProofPower on Ubuntu 16.04, without success.
The stumbling block comes early, in the prerequisites for installing
OpenMotif, since some of these are not available in the usual repositories.
If anyone figures out how to get ProofPower installed on Ubuntu 16.04 I
should be pleased to know how it can be done.
Proofpower mailing list