Hello Rob, I'm still here!
Mark.
On 06/11/2023 00:54, Rob Arthan 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.
I got the email!
Regards,
Jon Lockhart
On Mon, Nov 6, 2023, 6:25 PM Phil Clayton wrote:
> Received! (By both my email addresses - it seems I am doubly subscribed!)
>
> Phil
>
> On 06/11/2023 00:54, Rob Arthan wrote:
> > This is an attempt to investigate what happened to the ProofPower
>
Received! (By both my email addresses - it seems I am doubly subscribed!)
Phil
On 06/11/2023 00:54, Rob Arthan 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
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
escreveu:
> This is
I got it!
On Mon, 6 Nov 2023 at 00:55, Rob Arthan 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.
>
I received my test post to the ProofPower mailing list, so I better do myself
what I asked everyone else to do! So here is my reply! Perhaps I should give a
brief update on events since the list started to malfunction:
ProofPower is alive and well and in use by D-RisQ and others. It has reached
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
This is a test please ignore, unless you don't receive it, in which case it
would be helpful if you could let me know :-)
Regards,
Rob.
___
Proofpower mailing list
Proofpower@lemma-one.com