coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]

From: John Li <johnli0135 AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club]
Date: Sat, 11 Jan 2020 14:41:31 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=johnli0135 AT gmail.com; spf=Pass smtp.mailfrom=johnli0135 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ed1-f41.google.com
Ironport-phdr: 9a23:fdfyvRNywq2OWauJqzol6mtUPXoX/o7sNwtQ0KIMzox0Lf79rarrMEGX3/hxlliBBdydt6sfzbCI7uu5AzJIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfL1/IA+ooQjQtsQajpZuJrgwxxDUvnZGZuNayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0jioMKjE38GTPisxsjKNQvQmhpwFkzI7Wfo6aKOZ+db7Zcd8HWWZNW8BcXDFDDIyhdYsCF+UOM+ZWoYf+ulUAswexCBK2C+/z0DJFnGP60bE43uknDArI3BYgH9ULsHnMqNv1M6cSUeaox6fOzDXIcvRb2TX66IjIdBAhpfCMUa5tfcffyUQiDAzFjlCKpozkOzOZzPgCs2+e7+d5U++klm0pqxlprzSx2sshjpPFi4EVx1ze6yl13IU4Kce3RUJmZ9OvDYFeuDuAN4RsR8MvW2Fotzg+yr0BoZO7eTIFyJUjxxLGdfOIbpWE7gvtVOuePDt0nn1leLW4hxa99Uiv1PfwWdWz0FZPtiZFk9/MuW4R1xHL9MSLVv9w8l2i1DuPzQzf9P1ILEMumafUNpIt2rswmYASsUTHEC/2gkL2jKqOe0Um/eio6+LnYrHnppOAKoN5hAHzP78hmsy6G+s4MwwOU3KH9uS70b3v5Vf5T6lSjv0qjqnZt4jXKtgcpq6gGgNazoIj6wukADq9y9QZnXwHLEpfdx6djojpPUvOIPHiAvuljVSsimQj+/eTNbr4R57JM3LrkbH7fL875VQP5hA0yIV94JJSQpUAaKbxXU/3sN2AV0RkGwOxyufjTt5609VNCiq0HqaFPfaK4hez7eU1LrzVPNZJ6ga4EOAs4rvVtVF8gUUUJPD70p4eaXT+FfNjcR3APCjcx+wZGGJPhTIQCeznjFrYDGxWbne2Gq8wv3Q1VNvgAoDESYSgxreG2XXjR8wEViV9ElmJVEzQWcCBUvYIZjiVJ5Y4wDMBXLmlDYQm0EP3uQ==

, , c

mnnn,n mnnnb

.mm,

[Coq-Club], John Li, 01/11/2020
- Re:[Coq-Club], John Li, 01/11/2020
  - Re:[Coq-Club], Conor McBride, 01/11/2020