I got it! On Mon, 6 Nov 2023 at 00:55, Rob Arthan <r...@lemma-one.com> wrote:
> This is an attempt to investigate what happened to the ProofPower mailing > list and to see if I can bring it back to life. > > If you get this message please reply. > > Best regards, > > Rob. > _______________________________________________ > Proofpower mailing list > Proofpower@lemma-one.com > http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com >
_______________________________________________ Proofpower mailing list Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com