On 22 Jul 2012, at 10:23, Roger Bishop Jones wrote:
> 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
> starting points.
> Presumably one could run ProofPower and xpp in the cloud and
> access it using an X-client on cygwin on MS windows, in
That's an interesting idea. There are other MS Windows X-clients too, e.g.,
Xming, that don't have such a big footprint as Cygwin.
> (I had a poke around but didn't spend enough time to get
What is the AWS pricing model?
Proofpower mailing list