Re: Andrej Bauer is a red flag (Was: How to prove this theorem with intuitionistic natural deduction?)

On 01/12/2024 11:56, Mild Shock wrote:

Hi,
  > Meanwhile, you might have seen it, I have also asked on SE:
 > <https://proofassistants.stackexchange.com/questions/4455/negative-translation-for-linear-propositional-logic>
 Sorry, but I must quite. Anything where Andrej Bauer is
a red flag. I remember he was censoring some post of mine,
don't remember exactly where it was.

Don't make it personal, a third of the world population is nazi-retarded by now: the incivilization and involution is just  like the Huns, not even grass grows anymore.
It's a fucking shame for humanity: but there just seems to be no bottom to it, it's like those rats on the boat, killing and shitting on all intelligence and decency to begin with.
"Progress" is watch these nazi-retards play WW3, get some popcorn...
-Julio