I am happy to announce that I have now ported the ProofPower source from RCS to
The source is available on GitHub. The URL is:
This seemed like a timely moment to include PPDaz in the open source offering.
So ProofPower and OpenProofPower are now the same thing.
I have also created the ProofPower Contributors’ Repository at URL:
This includes the source of my case studies and of work in progress on
To download stable releases as tarballs, please continue to use the ProofPower
website at URL:
There is a development snapshot there of version 3.1w2, which was built from
current state of the GitHub repository.
Please let me know if you have any problems with the GitHub repositories.
Proofpower mailing list