Has anyone tried, or even considered, running ProoPower in
the Amazon "cloud" (AWS they call it "Amazon Web Services")?
They offer a number of Linux images which might be used as
Presumably one could run ProofPower and xpp in the cloud and
access it using an X-client on cygwin on MS windows, in
(I had a poke around but didn't spend enough time to get
Proofpower mailing list