The Coq mailing list

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

Ok., thank you for the prompt answer. We will use your advices and if we 
succeed we send back the references to the community.
Cheers,
Richard

----- Original Message -----
From: "Théo Zimmermann" <theo AT irif.fr>
To: "coq-club" <coq-club AT inria.fr>
Sent: Wednesday, February 9, 2022 9:20:33 PM
Subject: Re: [Coq-Club] Looking for a Coqhammer container

Dear Richard,

The best way to get an installation of CoqHammer ready to run is to
rely on the Coq Platform. The last release
(https://github.com/coq/platform/releases/tag/2022.01.0) contains
CoqHammer with several SMT solvers.

It is indeed planned in the future for the Coq Platform to be
available as a Docker container.

Best,
Théo

Le mer. 9 févr. 2022 à 21:10, 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