coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: <amjad.el.khatib AT univ-st-etienne.fr>
To: <coq-club AT inria.fr>
Subject: [Coq-Club] Test
Date: Thu, 25 Jan 2024 15:25:25 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=amjad.el.khatib AT univ-st-etienne.fr; spf=Pass smtp.mailfrom=amjad.el.khatib AT univ-st-etienne.fr; spf=None smtp.helo=postmaster AT smtpout02-ext4.partage.renater.fr
Dkim-filter: OpenDKIM Filter v2.10.3 zmtaauth06.partage.renater.fr 17E361000C5
Ironport-sdr: 65b26f57_4/x5EptRla6jMv2+EFarbhExmtb5vSi/EkXPy8K/S+eVGLT TvfLnJvcBVE6PJRplF+G79kAMJHTDsjoVEj+Keg==

Test