coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Patrick Barlatier <pbarlatier AT protonmail.com>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Looking for a Coqhammer container
- Date: Wed, 09 Feb 2022 20:18:21 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pbarlatier AT protonmail.com; spf=Pass smtp.mailfrom=pbarlatier AT protonmail.com; spf=Pass smtp.helo=postmaster AT mail-4318.protonmail.ch
- Ironport-data: A9a23:Js6imK8ExRJZ3d/G5JXnDrUDE3iTJUtcMsCJ2f8bNWPcYEJGY0x3m GUdWm2FM/uKMWT0f4p+PImy8RgGsMTcyddkTgdk+ytEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvylYAL9EngZqTVMEU/Nsjo+3b5p6mJUqYLhWVnV4 4uj+5e31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Z2 vBQl5+wEysVGe7Bvc82YiRxNRklFPgTkFPHCSDXXc27ykTHdz6wmKw+SlksOpEf/ON+AGUI/ vxwxDIlN0Dewb3uhu7gDLA87iggBJGD0Ic3ontp1zXQEfcrW7jbWaLW4tld1TY0wMtJGJ4yY uJDMWcxMEmZO3WjPH8HFLwCzOatnELccgxDsHWt5pA+71rMmVkZPL/Fa4aFIIXWFa25hH2wr WXfum/9HxsyL82a0TPD83S2h+aJkzmTZW4JPLix9/ov3AbKlioLEhoKUl2+qPi9zEW+Mz5CF 6AK0jgLsIox9BaHcv6+UjiTi0+5lzgkAPMFRoXW9zqx4qbT5g+YAE0NQThAdMEquacKqdoCi w7hczTBW2QHjVGFdZ6O3uvL9G/uaED5OUdSPHJZFWPp9vG6+Nlbs/7Zcjp0OIWV5uAZ9Bn1y jGO6XRl3uVVldQMy6K9+FnGh3SnpvAlrzLZBC2IBgpJDSsjPuZJgrBED3CHs56sy67FETG8U IAswZT20Qz3JcjleNaxaOsMBqq1wP2OLSfRh1Vid7F4qWjxoCL+JdgJsGwiTKuMDiriUWK4C KM0kV0JjKK/wFPzBUOKS9jqU5hCIVbITIy+PhwrUja+SsMtJFXeoHEGib+4x3rqjE8q2agwU ap3gu7yZUv2/Z9PlWLsL89EieFD7nlnlQv7GM6npzz6j+v2TCPEEd8tbQrVBshkvfPsiFuOq b53aZDVoyizpcWlP0E7B6ZIcQtVRZX6bLiqw/FqmhmrfFY4RjF7VqO5LHFIU9UNopm5X9zgp hmVMnK0AnKm7ZEeAQnVOH1ldp31WpNz8SAyMSA2ZAr6w2IkfYGp6a4ec908erx+rL5vyvt9T v8kfcScA60VGm6cq21NMMnw/N54aRCmpQOSJC75MjIxSJhtGl7S8dj+cwqzqSQDV3LltcY3r 7C6+BncRJ4PG1ZrAMrMMa7910m2oX8bnetzWw3DJdwKIBfg941jKirQiP4rIphWeU+YlmLKi labWE5Kq/PMrok59MjyqZqF94r5QfFjGkd6HnXA6e/qZyTX+2yUwbhAXvyNSjbTWT6m466lf +hUk6zxPfBexwRKvoNwHqxRwLo69sfoo7MGnA1oEG+SMwazELR8JX+D1MhL8KZKw+YB6wexX 0uO/PhcOKmIYZm1SgVBfVp4PunTh+sJnjTy7OguJBmo7iFA+rfaA15ZOAOBiXAAIbZ4bNElz OMmtJJE4gCzkEBxYNOPjyQRqz/VfjoYSaI7sZcfCY7vzAErkwkQbZvZAy7wwZeOd9QVaRZ1f WTI2PKaiuQO3FfGfloyCWPJgbhXi6MItU0Y11QFPVmIxofIi6NlxhFX6jhrHA1Zwg8diLB2M 2lvchEufPXI5y1vmM9FWmmtH0dKBETBqED2zlIIkkzfTlWpDzeSczJmZbrVpE1JoXhBejV7/ a2DzDq3WzjdesysjDA5XlRoqqC+QNF8nuEYdBtLwyhY81gGjTvZbmuGYGMJr167WpphwlXdo vVt+uN5aKm9Pi54T2gTFdyBzbpJIPybDDUqfB2j1Pph8aLglPWawSKJN0e3f8pMI7rB9krQ5 wlGOJdUTxrnvMqRhmlzOEPPSoOYWNYx/t0efbXuLG8C9bCYq1KFdX4WGjfW3AcWfjmlrSrxx k49ud5P/qx8SEa4Q1PwkfQ=
- Ironport-hdrordr: A9a23:n24/oK8R9AtqhgJReZFuk+DZI+orL9Y04lQ7vn2ZKCYlF/Bw8v rFoB1173TJYVoqNE3I3OrhBEDiewK/yXcW2+gs1N6ZNWHbUSmTXeJfBO3ZrAEIcBeRygcy78 pdmrBFebrN5EZB/KLH3DU=
- Ironport-phdr: A9a23:3hqLfBxz/bh1RZ7XCzJ1wFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z haZuKom1QeUFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9qp2+yo+5DeYQpEiCehbb5yM R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8 qhrUgflhikZOTA56mHZl89+g6BVoB2uuxNy2JTbbJ2POfdkYq/RYdEXSGxcVchRTSxBBYa8Y pMVAeUbIeZYtYj9qEcNrRCjGASjHvnvyjtSiX/q3K01zf4hGhzB0Qw4BN0Bqm7UrNHvO6cOU OC60rPIwC7bb/NM3jf99I/IchYkof6WXLJwddDdxlUoFwPAl1idr5HuMDyJ2OoXqWeb8/ZgW vy1i24hswx/rCWjytsjh4TLiY8Yzl7K+Ct6zYs0IdC0Vk51b964HJZNuSyXN5d7Tt4gTm11p is3zrIItYKncCYE1Jgr2wDSZvqaeIaG5RLjUfyeITZ+hH99YrKwmQ2y/la6xe3mSsa00FlKo TBZktbSrHwN0QLc6tSfRvtl5Eeh3iqP1wfV6uFBO080lK7bJ4Q9zb43k5oet1nIECzumEjuk aObdUUp9vKq5uj7eLnrqZGRO5Vphgz9NKklh9axDv4iMgcUWmiW4eS826Pn/U3+WLhKi+c5k qjdsJzDKskWqLO1DgxP3oY78Ra/CCum0NMenXkCNl1FeRaHg5L1NFHOOPz4DPG/jEqwkDpz2 vzLPb3sDo/PI3Tfirvscrhw51RBxAcw1dxf4ohbCrAFIPL9QE/xs9nYAwchMwOv2ennEtF92 ZkCWWKOHKCZKrjfsUeS5uIoP+mMY4kVuDPnJPgk4/7il2M2mVgYfaWx25sYc2i3Hu56LEWBf XrsntABHH8XsgYmVuzllEWCUSJPZ3a1R68z+jY7CJu/AYjfQoCtnaeO0TygHpxWY2BGEkqDH W3pd4WCQfcMaTidLtVvkjweBvCdTNoq0gjrvwvnwZJmKPDV82sWr8HZ2cBx9tHUwCk76SZ1B MfV+WiXS2hon24SD2su1qllpUVhy1qZ+bBihOBfE9la5vcPWQA/Y83y1et/Xuj7RhjAddTBY l+8Rty6ADwrBoYpydYUZ09hGti4pgjZ2DatBboclrjND5sxpPGPl0PtLtpwni6VnJIqiEMrF 5Mn3QyOg6d+81KWHIvViwCDkK3sc60A3SnL/WPFzGyUvUgeXhQjGb7dUyU5YU3b5c/8+luEV 6WnXKwtOxFFwNKDJ7FicsfukVJAQf7iPJLVZGfi03yoC0Owz6iXJJHvZ31b2SzcDEYelAVG5 XyPLww3GiasuUrGFjtyElTqakLot+J5rSDzVVc6mjmDdFYpzL+p4lgViPibHusUxa4BsTw9p i9cGV+825eKUIPQ4RJ7e7lbZ9Y04VMB3mKxWxVVGJumIugig1cfd14ypEbyz1BtDY4Gl8E2r XQsxQ40KKSC0VoHeSnKlZb3cqbaLGX/5nXNI+bfx03e3dCK+6wO9OVwqlPtuxusH1Yj9HMv2 sdc0n+V7JHHRAQIVpe5XkEy/hl877bUB0t1r5ve3GdoOLW1vyXqw8guGOwjzx+he5FUN6bFX A7+HssGBtS/ffQwkgvMDFpMN+RT+agoesK+IqLWhej0ZKA8x3T/3Tcigsg1yE+H+itiR/Sd2 p8Ex6vdxQ6bT3Lmi1zntMnrmIdCbDVUH2ylyCGiCpQCA886NYsNF2qqJNW6g9tkgJu4EWZS/ USnDk8H1dWBYQCVc1v72ARR0QIcpnntyk7ah3Rk1iokqKaSxnmE2+7rbh4OJm9GXkF6l1DwJ o6xhtEeGkOvakJ68XntrVa/zK9dqqNlKmDVSkodZCn6IVZpVa6ov6aDacpCgH8xmR1eS//0I VWTS7qn5gAfzzumBWxVgjYyazCtvJz92R18kmOUanhp/jLVfsR5xBGX49K5J7YZxjAPXi1xl TjaHHCkJd61+tORnpbH9Ou5UiqtW4ZSfi/i0Y6b/HLruCs1WVvjxLbqypXuCm1YmWfj2sNvV DnUoRq0eYTt26mgcKpmckRuGF7g+p9/E4B6nJE3gcJY0nwbi5OJuHsfxD6jbJMEgeSiNzxUF W1uoZad+gXu1Ux9I2jcwov4Ui/Y2c59f5ygZWhQ3Csh7sdMAaPS7bpenCIzrEDryGCZKfV7g DoZzuMjrXAAhORc8hInxz+ZC6wTEFNwJTbrixOO6tm/qONcY2PlIt3SnAJu2MusCr2PuFQWQ HzwYJMrAS599O1nKlXQ13v244DgPtLXaJhA03/c2weFhO9TJpUrk/MMjicyImPxs0ouzOsjh ABv15W378CXbn9g96WjDltEJyX4MokNryr1g/8UzaP0l8i/W49sETIRUN70QOK0RXgM4O//O V/GESVg+C7LRPyARUnDsAE+6CiTW5GzayPOdCRfko0kGEDbfAsF3GV2FH07hsJrT1D3gpO5N hsioGhWvAKwqx1Hzv9kOkvISX/R/kGwcDAoT56aJRtSqApCr1HcNcjUhg5qNxlR5Ybp7AmEK 2jBIh9NEXlMQEuPQVbqIrip49DEtemeHOu3afXUM/2CrulXVvHAwpzKsMMu5zGXKsCGJWVvF dU+00tHGCwiQpSfgy8IVysRkivMa4iQpF+w9zZ2oca27PnwEFu/uM3QU/0OapM2q1i/msLhf 6aIiTx8KCpE259E3nLOxLUFnRYThyxoazixAOEAuCrKH+rbnq5aCQJeajsmbZsVqf1kmFUWf 5eL2baXnvZig/U4CklITwnkk8CtP4kRJn2lcUnADwCNPaiHIjvCx4f2Z7m9QPtelrYx1VX4t DCFHkvkJjnGmSPuUkXlKetFliWSIB1ToqmlaBFxDm7mRdPiLBa8NZUk6F9+ia1xnX7MOWMGZ HJkdFhRq7SL8S5CqvB2GmgEsiE8fa+cgSGF6O/dI5cS9/BrSHcR9aoS8DExzL1b6ztBTfp+l X7Jr9JglFqhl/GG1jttVBcd4iYOno+Aul9ufLnI7pQVE2iR5woDtC/DbnZC78sgENDkvLpcj 8TChL6mYikX6MrapIMdH5SGcZLadiV5d0ayXmeERB0MSTrhXYk6r1RHl+2V8Hicr5x8oZ/py sJmolBzTEYyCvQcD01kGJoJJ5IlB1vMcJaehc8MoCbl9UmXXN9dopfBU/uTBbPkKGTA5YQ=
- Ironport-sdr: n3ZJvbT8jzTRrz7bT5602YBsXj7+E7iN0cDArJJwC/yWDx75aQ8AJ5X9iYVKkOFol0q6j36AD7 XVpHamHo2h5q40QwuuafAJb7v5idgpShQW5cQbCucvycl8E5JTvRDHTuUN0swR3t3CEYxcDqRm 5VOzqMPDOv3kmtFpnNwpyTZ5xUT5t4vU42gI7j7w3Rb0Hb3uj4k3TOzfn+reW5pBL5a8SX3xDQ Tf6LNtugYbZm1qzBF+eVDIR3jbubnIU5hiMbNTH9wLndVVLL9nQ6RQqYpU6XJPryUzImgvV1rB Hkx35Lep8MaS8K+LE8pvhZ6H
Docker File de Coq :
FROM opam RUN opam install coq.8.6
Patrick Barlatier (PhD)
(Logique mathématique / Intelligence artificielle)
"Pluralitas non est ponenda sine necessitate"
Courriels : pbarlatier AT protonmail.com, patrick.barlatier AT univ-smb.fr
Autre :
The information contained in this electronic mail transmission
may be privileged and confidential, and therefore, protected
from disclosure. If you have received this communication in
error, please notify us immediately by replying to this
message and deleting it from your computer without copying
or disclosing it.
Sent with ProtonMail Secure Email.
------- Original Message -------
Le mercredi 9 février 2022 à 9:10 PM, Richard Dapoigny <richard.dapoigny AT univ-smb.fr> a écrit :
Le mercredi 9 février 2022 à 9:10 PM, Richard Dapoigny <richard.dapoigny AT univ-smb.fr> a écrit :
Dear coq users,I have found some docker containers for applications working with Coq (e.g., https://gitlab.inria.fr/bertot/coq-docker).While there exists containers with smtcoq, i have not been able to found any container with CoqHammer.Is there exists such a container or is it planned in a close future?Thanks in advance,Richard
- [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Patrick Barlatier, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/11/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Théo Zimmermann, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Timothy Carstens, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Richard Dapoigny, 02/09/2022
- Re: [Coq-Club] Looking for a Coqhammer container, Patrick Barlatier, 02/09/2022
Archive powered by MHonArc 2.6.19+.