Roger,

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 
> theory.

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 
> anywhere).

What is the AWS pricing model?

Regards,

Rob.

_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to