coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Shut Down PL

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Tadeusz Litak <tadeusz.litak AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Shut Down PL
Date: Wed, 10 Jun 2020 19:49:51 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:eedKixOP7azFspw1T8kl6mtUPXoX/o7sNwtQ0KIMzox0Ivn/rarrMEGX3/hxlliBBdydt6sZzbOL7eu5ADZIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLN/IA+roQjRt8QajpZuJrsvxhDUvnZGZuNayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0jioMKiU0+3/LhMNukK1boQqhpx1hzI7SfIGVL+d1cqfEcd8HWWZNQsNdWipcCY2+coQPFfIMM+ZGoYfgoFsOoxWwCguvCuzhxTBHmmT73bEm3+k7DQ3KwBYtEtAIvX/JrNv1LqASUeWtwafHyDXDbvdW2Tb66IfQdh4uv+qMRahrccXJyEcgDQfFjlGOpozqODOazvgAs3Ka7+V6TuKklmkqpB9qrzmgxcoglpPFhoUPylDL7Ch0xps+KtKkRkBhe9GkDIdQuD+AN4twWs4vXWJltSg1xLMGupO1cikHxYknyhDRdfGKbYmF7wztWuufITl1mm9pdrKjihqs80Wtye3xW9W33VtOrydJjtnCu3YQ3BLQ8siKUuZx80Si1DqVyQzf9OBJLVopmafZNpIt2KM8m5QNvUjbHCL7m1/6gLKSe0gq4OSk9erqb7r8qpOBM4J5jBz1PL40lcylG+s4NxADX2iF9uS4073u5UL4TbZWgvEslanZqp/aKdwapq6/HQBVzp4u5wu8AjqlytgUg2cLIVNfdB6ajYXlJkvCLO32APuhm1islS1kx/HCPr3vGJXNKX3Dna//crtm5E9RyxY/wcpY55JOBbENOOjzVVPptNzEEh85NBS5zPrgCNVkz48RRWaPArKCP67Jql+J5ucvI/GWa4MPuTb9LeIl5//0gnMjl18dZ/rh4ZxCVHm0E+l9MQ29YGblgZ9VDW4GsxclXqruiUGLUhZcYn+zW+Q34TRtW6y8CoKWa4WshL2G6wW2BQ9NUU9PDlSBHnDfXp+FUuxEPC+6Mp851DseWu7yGMcayRiyuVqimPJcJe3O93hd7Mq7jYkn16jojRg3sAdMIYGY2mCJQXtzmzJaV29umqdlrh4kkwrR4e1Dm/VdUOdrybZJXwM9ZMzMn7Q8DMr9CFuYIoW5DW2+S9DjOgkfC8oryo5ccxYlXdK4gUKb0g==
Organization: X80 Heavy Industries

Tadeusz Litak <tadeusz.litak AT gmail.com> writes:

> I am not enjoying this discussion and I was planning to participate in
> it as little as possible. But these are points that need to be at
> least occasionally raised in public.
>
> [...]
>
> as this discussion seems to go on, let me point out that there were
> several manipulative, false and dangerous claims in posts I've read so
> far. And several points have not even been addressed.

Sorry if my mail was seen as an invitation to discuss more. It was not.

Kind regards,
E.

Re: [Coq-Club] Shut Down PL, (continued)
- Re: [Coq-Club] Shut Down PL, Emilio Jesús Gallego Arias, 06/10/2020
  - Re: [Coq-Club] Shut Down PL, Tadeusz Litak, 06/10/2020
    - Re: [Coq-Club] Shut Down PL, Emilio Jesús Gallego Arias, 06/10/2020