X-Received: by 2002:a05:620a:8018:b0:76e:f2b7:dedf with SMTP id ee24-20020a05620a801800b0076ef2b7dedfmr79185qkb.12.1694630776889;
Wed, 13 Sep 2023 11:46:16 -0700 (PDT)
X-Received: by 2002:a05:6870:1a94:b0:1c0:e7d3:3b2d with SMTP id
ef20-20020a0568701a9400b001c0e7d33b2dmr1122816oab.7.1694630776638; Wed, 13
Sep 2023 11:46:16 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Wed, 13 Sep 2023 11:46:16 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=142.93.188.229; posting-account=UA-6fQkAAADI18fSPOc495gPgW1akxLl
NNTP-Posting-Host: 142.93.188.229
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <787c82c9-248e-4779-9dd7-4fba13fa543fn@googlegroups.com>
Subject: Do_people_in_other_Countries_Believe_American_Academ
ic_BS_(Program_Synthesis,_ZFC,_Proof_Assistants_…)?
From: shymath...@gmail.com (Charlie-Boo)
Injection-Date: Wed, 13 Sep 2023 18:46:16 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1438

Path: i2pn2.org!i2pn.org!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: mm+use...@dorfdsl.de (Marco Moock)
Newsgroups: comp.theory
Subject: Re: Do people in other Countries Believe American Academic BS
(Program Synthesis, ZFC, Proof Assistants …)?
Date: Thu, 14 Sep 2023 08:48:07 +0200
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <uduab7$2hfmk$1@dont-email.me>
References: <787c82c9-248e-4779-9dd7-4fba13fa543fn@googlegroups.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 14 Sep 2023 06:48:07 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="3fe0160fef294fd66be3f8874a2fb8ae";
logging-data="2670292"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+WKZJkJrpjVDaMEpt8uPG0"
Cancel-Lock: sha1:pfm5JtjXhMuls3/xjEXo18MkLMY=

X-Received: by 2002:ac8:5b96:0:b0:412:1bc3:10f3 with SMTP id a22-20020ac85b96000000b004121bc310f3mr2286qta.13.1695405945144;
Fri, 22 Sep 2023 11:05:45 -0700 (PDT)
X-Received: by 2002:a05:6870:1982:b0:1d6:899d:6ed9 with SMTP id
v2-20020a056870198200b001d6899d6ed9mr41973oam.9.1695405944774; Fri, 22 Sep
2023 11:05:44 -0700 (PDT)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!border-2.nntp.ord.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.theory
Date: Fri, 22 Sep 2023 11:05:44 -0700 (PDT)
In-Reply-To: <uduab7$2hfmk$1@dont-email.me>
Injection-Info: google-groups.googlegroups.com; posting-host=198.236.192.210; posting-account=0pheVgoAAACKj674Kl3qdRoiYysIz_ok
NNTP-Posting-Host: 198.236.192.210
References: <787c82c9-248e-4779-9dd7-4fba13fa543fn@googlegroups.com> <uduab7$2hfmk$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9e03cc1c-a597-4c74-b313-719ea9c82dd7n@googlegroups.com>
Subject: Re:_Do_people_in_other_Countries_Believe_American_Ac
ademic_BS_(Program_Synthesis,_ZFC,_Proof_Assistants_…)?
From: jeffreyd...@gmail.com (Jeffrey Rubard)
Injection-Date: Fri, 22 Sep 2023 18:05:45 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 8