The Coq mailing list

[Richard Dapoigny <richard.dapoigny AT univ-smb.fr>]

c'est le 8.12 dont nous avons besoin et il existe déjà un container pour cela qu'il suffit d'utiliser et d'étendre

---

From: "Patrick Barlatier" <pbarlatier AT protonmail.com>
To: "coq-club" <coq-club AT inria.fr>
Sent: Wednesday, February 9, 2022 9:18:21 PM
Subject: Re: [Coq-Club] Looking for a Coqhammer container

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 : 

https://www.researchgate.net/profile/Patrick_Barlatier/ 

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 :

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