The Coq mailing list

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

Thanks for the answer, we will exploit the above link and as soon as we have the expected container we will publish it for the community.

Cheers,

Richard

---

From: "Timothy Carstens" <intoverflow AT gmail.com>
To: "coq-club" <coq-club AT inria.fr>
Sent: Wednesday, February 9, 2022 9:21:59 PM
Subject: Re: [Coq-Club] Looking for a Coqhammer container

Unfortunately I don’t have any Docker images with Coq Hammer; however, you may find this repo useful, which contains examples of how to extend the docker-coq image with various additional packages.

https://github.com/appliedfm/docker-coq-vst

Kindly,

-t

Sent from my iPhone

On Feb 9, 2022, at 12:11 PM, Richard Dapoigny <richard.dapoigny AT univ-smb.fr> wrote:

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