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