I got it. Atenciosamente,
*Prof. Marcel Oliveira* *Professor Associado IV* *Departamento de Informática e Matemática Aplicada* *Instituto Metrópole Digital* *Fone*: +55 84 3342-2216 *URL*: http://www.dimap.ufrn.br/~marcel Em dom., 5 de nov. de 2023 às 21:54, Rob Arthan <r...@lemma-one.com> escreveu: > 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