Roger,
This sounds like a good idea. As I understand it, this would be
primarily intended for things built on top of ProofPower, e.g. new
theories, but wouldn't exclude projects that contain the entire
OpenProofPower source code base if, for example, they need lower-level
integration with Pr
On Wednesday 07 Apr 2010 14:05, Phil Clayton wrote:
> Roger,
>
> This sounds like a good idea. As I understand it, this
> would be primarily intended for things built on top of
> ProofPower, e.g. new theories, but wouldn't exclude
> projects that contain the entire OpenProofPower source
> cod