coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Emilio Jesús Gallego Arias <e AT x80.org>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow
- Date: Wed, 30 Mar 2022 19:13:13 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
- Ironport-data: A9a23:czW07q9RABYm4qAVS9arDrUDWnmTJUtcMsCJ2f8bNWPcYEJGY0x3z DMZXWvSa/aJMDHxfNAjbI+x9kxX7JDTyNdqTwJpqSFEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvylYAL9EngZqTVMEU/Nsjo+3b9h6mJUqYLhWVnV4 oiq+5G31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Z5 /9/8oKKZF4SF5b1yNoMVj5IHzB3MvgTkFPHCSDXXc273x2eNXz2zJ2CDmlvbd1eoLwpRzgRr LpBc2plghOr34paxJq2Yvk83oIkNsaD0IY34yk4nWqEUK9OrZbrfZ/wtc569zQMjMFLHcrvW uk0ZgJ1VUGVC/FIEg1NU85vwbfAamPEWzZfsReeobc9y3PCyRR4lrnrKtvcPNKQLfi5hW6I9 jqA+H72av0HCDCB4RWvwDWyvMKWpgrAYdIsBbif5vJ7iVLGkwT/FyYquUuHTeiR0xDiC48Gd B1MoULCvoBvrhfzFoSVswmQ/C/Y4U90t894SrVisGmwJrzoDxGxIExsotRpQdk9qMIsSTUvv rNit4qwXWEHXFG9b3WH6rfcjTS2PSETIQc/ic44oegtuoaLTHkb1E6nczqaOPfdYx2cMWiYL 8q2hCY/na4PqsUAyr+2+1vK6xr1+MSZE15su1mKDjv+hu+cWGJDT9P5gbQ8xaYYRLt1snHY4 RDoZuDEsL1fU83X/MBzaLtdR+Dzjxp6DNEsqQQ1RMVwqmTFF4+LcYFf4S13IA9uOcsNf1fUj Lz76WtsCV46FCXCUJKblKrsUpxzlvKxTI6NuzK9RoMmX6WdvTSvpElGDXN8FUi0+KT1ua1ga 5qdb+i2CnMWVfZuwDasGLUNgedtwToxnDuBSZf+xhWh8LyfeH/MFe9bbwXeP79p4fPWuhjR/ vZeK9COl0dVXtr4b3SF6oUUN10LcSU2CMmu+cxaf+KOOCR8H2QlB6ODyL8tYdM3j/QN0ODS8 SjlCENfzVP+g1zBKBmLMyw7NuyxDccg/X9iZH4iJ1el3XQncL2D1qZHestlZ6Qj+cxi0eVwE 6sPdfKGD6kdUT/A4TkcMcTwoYE+JhSmgQWCY3isbDQlIMxwF1SP/cXrJ1O9+C4LByuxlM0/v 7z5iluFHsRTFlsyAZaEcu+rwnOwoWMZxLB4UXzOL4QBY07r6oVrd3H8g6NlOc0KMhmflDKW2 xzJUwdI/a/KuYBsqIvFgqWNroGIFepiHxMGRzeEs+bnannXrji53ItNcOeUZjSBBmn6z6OvO LdOxPbmPfxbwVtHvuKQyVqwIX7SOjcum1Nb8uigNGWbNxKsELwIzryuw5xUrqMUrlNGkVLeZ 65N0oAy1Xa11AfNAA5JYg0/YYxvENkKzyLK461dzFrSvUdKEXnubamWFwnc0GpaNrQd3EbJB ws+kJZ+1jFTQSbG/jpLYu64OohMwrE9v30bi6wn
- Ironport-hdrordr: A9a23:+d4WcqHY2n+UjlMipLqE1seALOsnbusQ8zAXPiFKOHtom6mj/P xG885rtiMc5Ax9ZJhCo6HlBIClSXPYsbFy5IwWI6u6GDTh0VHJEGgB1/qB/9QxIUPDH4dmvM 8LT0EUMrLN5DZB4foSrDPIdurJDbO8kZyVuQ==
- Ironport-phdr: A9a23:c7MPQxFX91+utkm2EWiTDZ1GfwBHhN3EVzX9CrIZgr5DOp6u447ld BSGo6k31hmQA9+QsqoVw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PNbwlSmTawYK1+I BqroQnNssQdnJdvJLs2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LpwRRT2lCkIKSI28GDPisxxkq1bpg6hpwdiyILQeY2ZKeZycr/Ycd4cWGFPXNteVzZZD428c YUBEu0BM+hboYbzqFQBsQCzBRWwCO711jNEmmX70K883u88EQ/GxgsgH9cWvXrbqdX1NaMSU eGyzKbQyTvMcehWwS3m6IfQcx4uu/WMXbZufsrezkkgDx/Ijk+RqYP/JDOey+MAvHaA4utvV u+jl3QrqwZrojig38ohjJTCiY0JxF7e7yp53Jo1KsOiSE59edOqHp9duiWGO4Z2TM4uX2Flt iknxrAFtpO2cyYHxpspyhDQavGKcJWF7xziWeuTJTp0mHJodK69ihuy7EWtxO/xW8+p21hEq SpFl8PDtnEL1xHL5ciHS+d9/ke82TmUzQzc9uZEIUUymKHGKJAh2qY9mocQvEnABCP6hlv6g a6Mekk5+OWk9v7rbqjoq5OCL4N5iRzyPr4zlsG7Duk0KBYCUmqB9eih1LDu/kv0S6hQgPIsi KnWqpXaKNwbpqGnBw9V1Z4u6hm8Aju6ytgYmmMHLF1ddBKGiYjmJU3OLejlAfq8gFmgiilny +7HM7H7H5nALGXPnK38cbtz9UJQ0A8zwspe55JQBLEBOvXzWkrpudPGFRI4PA+5z/r9BNV6z IMeVnqDAqmCP6zKq1+H+vovI/WQZI8SoDvxNuAp5+Tygn8hhV8dYa6p0IMLZ3C/B/RqOlmWY X7xgtgaCmoKpQo/TOnyiFKYSzJTZnCyX7g95j4hEo6mA53DFciRh+mq2z7zNZlLbCgSAVeVV Hzsao+sWvEWaSvULNU3wRIeUr30Zoog0RCpgy330Ch8GcXd/ikVupXU/cJ07vabwRwa5WwsS cOH3DfeHClPgmoUSmpuj+hEqktnxwLGiPAg6xQ5Pdla5vcSFxw/KYaZ1OtiTdb7RgPGeN6ND legWNSvRz8rHZoq29FbRUF7Fp25iwzbmTKwCuoYv6zbXNoz6K2Pl2PpKZNFwm3dnLIkk0FgR 8JOMWO8gasq+iDDV9aPlF+WxO6xbapJ5CfW7y+YyHaW+kFVVAklSaLeQXUWfVfbt/zpthuES KWhYVg+Gi1Gz8PKaq5Da9myyE5DWO+mI9PGJWS4h2a3Ax+MgLKKdovjPWsHjm3bDwAfngYf8 GzjV0B2Dzq9o2/YED1lFE7+K0Lq/+5krXqnT0gyhwiUZkxl3rCx91Ybn/uZA/8U27sFvm8mp X15NEbth5TREdXBwmgpNKRQbNUh4UtWgHrDvl81NZihIqZ+w18GJl0n7wW0jUsxU9oZ15Fx9 iBPrkI6M6+T3VJfeinN2JnxPuaSMWzu5FW0bLaQ3FjC0dGQ86NJ6fIiqlylshv6cyhqu3hhz dRR1GORo5vQCw9HG5/ZQhZvsR9gqPuJKjl4/I7S2XB2ZOO5mi+Sg5QuHuRvmXPCN59PdaiDE gH1CcgTAcOjffcrl1aeZRUBJOlO9aQwMqtKbtO+0bWwdKZllTOi1iFc5Zxll1mL72x6Q/LJ2 JAMx7eZ2BGGXnHylgXpvsfykIFCLTYcewj3gSXMFN4JIKpocs4HBHyvLMu+2thlz8e9CzgCr gDlXgxfnpbyI1KbdBTl0BdV1FgLrHDvgia+wzFu0lRL5uKe0CHI3+X+ZU8CM29PSnNliASkK oy1gtYGGUmwOlF5xF3/vxi8nvcC4v0kdTq2Iw8AZSX9ImB8X7Hls7ODZ5UK85Y0qWBMV/z6Z 1mGS7n7qh9c0iX5HmIYyipoElPi8pj/gRF+j3qQaXhpq3+MM8xY1UeHotvGSrQClipDXyR+h TTNUxKxF8n5pZOTjZiJ4YXcHyqxE5ZUdyfs14aJsiC2sHZrDROIlPe2gtT7EAI+3Hyzx5xwW C7Pthq5fpjz2vHwL7d8ZkcxTgyZiYIyCsRkn4A3np1VxXUKmsDf4y8ciWmqedBLkau2dGYXD WkCx9qfiOT88HVqNWnBh4fwV3HGh9Bke8H/eWQOnCQ088FNDq6Qqr1Chyp85FSi/0rdZv10n zFVzvVLijZSm+YSpA8k1TmQGJgCTREeOjbj3xiF9NGxqqxLaX3nKOjgkhAkw5b4U+jE+1oGE H/iMo8vBypx8tlyPDeumDXo54fodcORJdMfuxuIkgvR2uhYLJVi3vEOhCdhJSf8pSh8m7591 0Ywm8jl5c7ecD8+mcDxSgRVPTD0ec4JrzTkjKIF292Tw5jqBZJ5XDMCQJrvS/usVjMUr/Xuc QiUQ1he4j+WH6TSGQiH5QJotXXKRtqmH2HHfD8e19ooF1GNYVdShgwZRmBwhpkiCgWj39Dsa m9ptmhX4UT34EgpqKogJ1z0VWHRox2tYzE/Rc2ELRZY2QpF4l/cLc2U6u8gVzEd5JCqqxaBb 3CKfwkdR39cQVSKXhqwW9vmrcmF6eWTAfCyaufDcanb4/ILTO+GnNqqwsNvty6QLI3YN31mR ZXTO2JTDSg/HN7WyWxno8k/h3KVKcmBq0XkksWYhtDvqLLsQg29vOOy
- Ironport-sdr: 6kZPD5KyD2UROph31qyp+aTuVWSlfs8JVt5w0PiPC/SaLM/Km/okRmTAwqMerEsaf+XJJ/IGe/ BbSH52FYxpN/092veBqS6PdNRW0sL6AR3eruTaS3daVlE0rujO9WYnfGpwudqKlLLWWf3H+T15 QF1MatuUtA6SmAIast3JfPmXzENfh+ZURQ+DaiCT2nbF5UG9RX+gJzLwzf2+jXUl4nLYzH+ODq q83z6jVkcMqoCvCwX78x32MFCmcta1/2n5ukXI+jzOCl6ZO+mwPrbx2q2w5KWPY/8VM3bgonBK ccJ1YkUahR9VUlwYbSCmKwy4
- Organization: X80 Heavy Industries
Hi all,
[I'm sending this now as it seems Hanneli's mail didn't go thru listserv]
The JsCoq a CoqDB Hackathon session will happen Thursday, March 31st,
14h00 Paris time (08h00 NYC time - 05h00 Seattle time); that is to say,
tomorrow.
See https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day for
more details, including participation instructions.
This will be an entirely virtual session held with Zoom. Please don't
hesitate to stop by if you are interested!
Kind regards,
Hanneli and Emilio
- [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow, Emilio Jesús Gallego Arias, 03/30/2022
- Re: [Coq-Club] [ANN] jsCoq + CoqDB mini-workshop tomorrow, Suneel Sarswat, 03/30/2022
Archive powered by MHonArc 2.6.19+.