coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Emilio Jesús Gallego Arias <e AT x80.org>
- To: Évariste Galois <egalois20 AT gmail.com>
- Cc: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Coq Hackathon (jsCoq and CoqDB)
- Date: Mon, 28 Mar 2022 20:06:36 +0200
- Authentication-results: mail2-smtp-roc.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:7kux1qrDwmHxeNdidAGNo/8kqjxeBmLCYhIvgKrLsJaIsI4StFCzt garIBnTOKvZZmr9cth2b9nn9x4DsZ7cnIdgTVNrpH1hFXsb+OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKicfHkZqTZMEE/Nszo68wICqtMu0IDR7z+l4 4uo+ZWEYg/9gVaYD0pNg069gEM31BjNkGhA1rAOTagjUIj2yhH5pLpGTU2AByOQrrt8RoZWd M6fpF2NxV41yj92Yj+TfhkXRWVRKlLaFVDmZnO7wMFOiDAazsA5+v5T2Pbx9S67hh3R9+2dx umhurS/bgQbEpX2m98XbAtGPxBwHa5r+rrIdC3XXcy7lyUqclP8k60oC1s5VWEa0r8nUScUr 6JecW9UKEnY3Ypaw5rjIgVorskLPJmzeoQFtRmMyBmDXal6H8qfGM0m4/d22igI3ttXN8/ZW NgnRmVtUh3eID5QbwJ/5JUWxr3z2iiiI1W0smm9rq0upmPX0QZZy6noKNOTe9qQRMwTkFzwm 47d13SpWlcdLtP3JSe5HmyEicjMrw/DYoEpHoKq6NJbjn2Q624WB0hDPbekmsVVmnJSSvoGd RBEpnF38fljnKC4ZoSnBEXg/RZoqjZACoYPQoXW/SnUkvKMizt1EFToWRZnTLTKXucfQCc22 0WFltaB6ddH6eTNFBpxGp+yqimuOWA1KmsGbCkIJTbpAuUPQ6lq0Xojtv45TMaIYiTdQFkdA 1mi9UDSfYk7g88RzLmc9lvamT+qrZWhZldrulWLBj/1tlslPNfNi2mUBb7zsqYowGGxHgHpg ZT4s5HDhAzzJcvRyX3THL9l8E+BuK7faGO0baFT82kJrW72py/+Lei8ERlyJUhoLs8AMTjib UbV0T69F7cDVEZHrMZfPeqMNijd5fW5TY2+DKGNNLKjoPFZLWe6wc2nXmbIt0iFraTmufhX1 U6zfZn+AHAEJ75gyTbqFe4R3aV0lDBunSXUX5+il0ar1r+XZXi0T7YZMQLSNr5msvPV/1XYo 4RFKs+H6xRDS+miMCPZxogecAIRJn8hCJGq9sFaL7bRIgdvFGw7JeXWxLctJ95sk6hPybXYr in7XVVXkQKtiXrCIASMS3ZidLK2Ac4h8ixrbHN8MA/xiXY5YIup4KMOTLcNfOEqpL550Pp5b /gZYMHcUP5BfTLKpmYGZp7noY0+KRmmiF7cPyehZzRjLZdsSxaWqM+0Jk3o7iZXVni7ss43o ruB0ALHQMNfH1o9UpaHN6KinwGroHwQuONuRE+UcNNdT0PhrdpxICvrg/5rfswBdUfZyj2B2 1rECBsUv7afs99ttt7Tivnc/YuuFuJ/GGtcHnXatOrua3aErjv8kYIQAvyVeT39VX/v/Pnwb +tiyfyhYuYMm0xHstYhHrtmpU7kCwADe1OHIsVY8HT3g5CDGuM4ZH6c0qGjc4VTk6RBt1Let l2no7Fn1XehYasJ02L94CI1PrzF0usb8tUXxepgO130vUeb45LeOXi//HCwZOh1POstdoQ/z o/NfSLQBxOX0nIXDzpNssyYG6lg4JDNv2XLe6z22LPWtzc=
- Ironport-hdrordr: A9a23:+tr6/a3g9ks21g/NWcV95AqjBJIkLtp133Aq2lEZdPWaSKOlfq GV7YwmPHrP4wr5N0tQ/OxoVJPsfZqYz+8Q3WBzB8baYCDDsGusaK5l6I7l3SH4XxD5n9Qtt5 uIEZIOb+EY3WIasS+S2mDReerIguPmzEnCv4njJhlWIT2CJ5sQiTuQx2ygYy5LeDU=
- Ironport-phdr: A9a23:K2eo5xdjk5wkv8EpO2/cJe99lGM+ntXLVj580XLHo4xHfqnrxZn+J kuXvawr0AWTG9yGtLkd0rqempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yN s1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRtEiCCgbb5yL hi6ohjdutQVjIB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0Q rNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6 apgVQTlgzkbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxcVchTSiNBGJuxY YsRAeQcOuZYoYfzqFkNoxSwCgajGPjiyiNUinLswaE2z/4sHAPA0Qc9H9wOqnPUrNDtOakdV OC1za3IzTTEb/xO3Tny9pPIago6of6UXLx/a87RyU0xGAPKiVWfsZDoPymU1usXqGiQ8u1tW vy0hm8oqAx9viKjxsA2ionGn48YzE3P+iplzogvP9K4VFJ7bsC+EJtWryyXM4R4T8I/T2x2t ys31qAKtIO7ciUUxpopyBHRZv2ZfoWG/B7uVuafLSl4inxqe7+yhQq//Ei+x+HiV8S501lHo yxYmdfCsXAN0gbc6smBSvZl40ih3jGP2B3X6u5aO0w7ia3bK5snz7UtlZQTqVzOEjL1lUj1l qOaaFso9+my5+j6YLjqu4WQO5J6hw3gKqgjmdGzDf4lPgUKUGWX4/qw2b/58UHkQLhHjfs7m bTDvp/AP8QUvKu5DhdV0ok97xa/CC+r0dsbkHUbNl5FfwiHj4fxN1HPJvD3E+u/jkyxnDpox P3KJKPtDovMI3TZjbvsf6tx51RBxAc909xT/5dUBasAIPL3VE/xrtvYDhohPgOq2OvmB9Zw2 p8EVWKIGK+ZP7vesVmT6e03OemDeJcVuCrhK/gi//PikGc1mUUBcqmxwZsXdHe4E+x6LEWee Hrgm8sOEWMXvgUlV+Hqk12DUTtLZ3moRa485zc7CJinDYjZXIytjqaBj2+HGcj3eGlcC0uQH D/HfoGDWuxEPC+dK8tmkydeDZCuToYg0VelswqsmJR9Ke+B1ygZsZPk4/p4/H/Ioj478Th5A MOq+nuMRno8ym4gV29umqdlrhoumR+4zaFkjqkARpRo7PRTX1J/bMaEpwQbI9X7WwabO8yMV E7jWNKtRzc4UtM2xdYKJUd7AdSryB7ZjGKxG7FAsbuNCdQv977EmWDrLpNw42aWjO8mlVZ1C tBXOziej7VkvxPWG5aPlkyYk6iwcqFJ0QbdpD/FynCB7wlDSAAlaazeRjgEY1fO69T04kSXV 7i1FbEuKRdM0+aSevMMbcfm5blfbNHkPtmWI2e4mmPqQA2N2qvJdo3hPWMUwCTaDkEA1QEV5 3ePcwYkVG+npCrFATpiGEiKAQuk+PRiqH69Uk4/zh2bJ0xn2b2v/xcJhPuaA/oN17MAsS0lp n16BlG4l97RDtOBoUJmcu1RScNtuBFAz22Y0m41dp2sIqZ+h0IPJhxtthCm3BF2B4Nc1Mky+ Sp6nEwoc/zeiQwYMWrDh8OVWPWfMGT58RGxZrSD31jf1IzT4aIT8LEirF6lugi1F00k+nEh0 t9P0nLa6I+ZaWhaGZ/3TEsz8AB34r/AZSxorY78xS00d66uvXWRk8JsH+Yjxhu6Kp1SGLPUT En1CcJQVK3MYKQ63lOuaBwDJuVb8qU5atine/Wx06muJO98nTiigAyr+ahF21mXv2p5Q+/Mh dMexu2AmxGAXHH6hUugtcb+ncZFYysTFyyx03qsCIlUb6x0NYEFbAXma8Cf1oUmwZn3VDZU+ UWiCFUPxMKyMUPCPxqnh1MWjBtO5yX8w2Ox1HRsnissr7aD0SCG2OnkeBcdewspDCFjgVrqP YmonoUfVUmsYRIukUjt7kL7yq5H4aVnejCDEQESJXawdj47FPLr7OnnAYYH8p4jvCRJXf7pZ FmbTuS4uB4Gy2b5GGAYwjkndjass5G/nhpgiWvbImwgyRiRMcx22xrb48TRAPBL2T9TDiRQm WmPQF+mMJP6tcXRjJrFvu2kAiisfo0DKW/s14zK507ZrSV6RBa4mf60gNjuFwM3hDT629ddX iLNtB/gY4Pv2vfyIad9c0JvHlO599tiF9Q0jN4rnJ9Jkyt/5N3d7T8dnGz0K9kexa/ucC9HW 2sQ29CMqA31kEQrNm6Tj9XwUnHXqid4T+GzeXhemic07sQQTbyR8KQBhyx+5FyxsQPWZ/F52 DYb0/onrnAA0akFvw8kzyPVBb53fwEQJSv3ixGB9Myzto1HND7pdqK/nEZzhtGuCrierxoUA SapPM14Q2kpsZw5aQmWmHToopnpYtzRcc4eunj221/bgu5ZJYhw3vsGiCx7OH7s6H0oz+lox Rdq3Jy8oM2GMzA0rPL/WEQGcGSqPoVKoWu+6MQW1tyb1I2uAJh7TzACXZ+yCOmtDCpXr/Psc QCHDDw7rH6fX7vZBw6Wrkl8/BetW9imMW+aIH4BwJBsXh6YcQZSqBBEBHM9hJFzRUi6gdfsd kt0/GVb/lnjth5F0f5lLTHvAj+Zox2nIGRRKtDXPF9d6QdM4F3QOMqV47doHi1WyZamqRSEN m2RYwkbRXFMQEGPAErve6W//dSVufbNHfKwdrGdBNfG4fwbTfqDwoijl5dr7yrZfNvaJWFsV rU+ygJKFWhlAYyOkjELAUT/dgrdP5bdow2zqHQfRiWX4KSzHgX16tnXY1O9GcU/o1axm6jRb oat
- Ironport-sdr: aObuEhm7JnhbG4PJhKMaxM3vvpYVmyouKfbxmUdA6olGmjEcXt39f3IsELid1419NmoS4g9NDz oVu8rdRB/D3RYxwgf81gd+Fa07IHJ0vjmgz4zAkVwfkYJU99+RA/ItJHE4FpAAw/0CdZinnE4Z jeJDGOpBQFY+r/V5o1jy2DPtJqdUf4+R2D2fREl2XQFao9t4PKGpdu3zmSZr8L6f3n5rr1D+hs I4+zGk2eAhA7Ea60mYDdrTWtHHS/X8oNjAFl9OHvogZ2AFREoNJ82ZjVtpkQBCCxGECgSE5gsj 2eFR+OkmdovkHQm2epLix4uI
- Organization: X80 Heavy Industries
Dear all,
this is a reminder that today is the last day to fill out the
availability poll for the upcoming JsCoq + CoqDB Hackhaton if you are
interested:
https://doodle.com/meeting/participate/id/lejjXAWe
We will announce the definitive date later today.
Kind regards,
Hanneli and Emilio
- [Coq-Club] Upcoming Coq Hackathon and workgroup session (jsCoq and CoqDB), Évariste Galois, 03/21/2022
- Re: [Coq-Club] Coq Hackathon (jsCoq and CoqDB), Emilio Jesús Gallego Arias, 03/28/2022
Archive powered by MHonArc 2.6.19+.