coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Freek Wiedijk <freek AT cs.ru.nl>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020
- Date: Wed, 6 Nov 2019 12:00:40 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=freek AT cs.ru.nl; spf=Pass smtp.mailfrom=freek AT cs.ru.nl; spf=None smtp.helo=postmaster AT smtp1.science.ru.nl
- Ironport-phdr: 9a23:trM4qxLUNa8muhqbbNmcpTZWNBhigK39O0sv0rFitYgRKvTxwZ3uMQTl6Ol3ixeRBMOHsqkC0rOJ+Pq4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCezbL9oMRm6sAfcusYIjYd+N6081gbHrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02QaRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+86tmTgLjhSEaPDA77W7XkNR9gqxbrhy/uhJxwIDUb46JO/VjfKzSc8gXRXZdUspNSyBNHpmxY5UJAuEcPehYtY79p14WoBW+HwmjGv3gyjxVjXD23K01zfkuEQDE3AwjAtkDt3rUrM/rO6gMUuC417XHzS7ZY/NMxDfx8o7IchQ4rPyKQLl+ctLRxFEyGw7Lk1mcs5HpMjGa2+gXrmSW7vBsWf+ghmMpsw19vzeiy8c2hoXUm44Yy0rI+Th6zYs0P9G1SU92bNi5G5VKrS6aLZF5QsY6TmFopik6zroGtIagfCgP1JQn3wPTZ+acc4eU4xLsSuCRLitmi35/YrK/mgy+8U6kyuHkV8m01khFrjZdn9XRuH0Bygbf5tWFR/Zy5EutxDeC2xrO5uxLL004ja/bJIQgwr40mJoTq0PDHirulUX4lq+ZaFsr+uuz5uv7ebXqvIWcN5JuhgH4NqQigta/DvggMggSQ2ib/vyx26Hk/U3gWblFkvk2krTCv53BPsQapqu5AxdP3Yo56ha/CS2m0NUCknUdIlJFYkHPs4+8MFbXZfv8EP2XglK2kT4tyeqVEKfmB8DjNHXOk//efLtx6kxfgF49191S5LpfEfcbPbT1Xhmi55TjEhYlPlnskK7cA9Jn29ZGAD7dMuqiKKrX9GSwyKc3OeDVPN0eo3DnNr4j46y21CJrqRomZaCsmKAvRjW4E/BheRzLen/wmo5HCmwLsww1QarwlRuEVWwLPifgb+cH/jg+TbmeI8LGT4GpjqaG2X7jTJZNIHpbTFaIQy7l
Apologies, that of course was not meant to go to coq-club.
Freek
- Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020, Freek Wiedijk, 11/06/2019
- Re: [Coq-Club] Formal Methods in Mathematics / Lean Together 2020, Freek Wiedijk, 11/06/2019
Archive powered by MHonArc 2.6.18.