Commits · master · BERTOT Yves / coq-docker · GitLab

Mentions légales du service

Snippets Groups Projects

A GitLab upgrade is scheduled for Monday, June 2, 2025. The service will be unavailable for a few minutes in the morning. We'll keep you posted on the progress of the upgrade on the Mattermost channel: https://mattermost.inria.fr/devel/channels/gitlab. We recommend that you do not work on the platform until an announcement indicates that maintenance is complete.

Oct 26, 2017
- correct mistake on downloaded executable for cvc4, make it the default · d0f36929
  BERTOT Yves authored 7 years ago
  
  d0f36929
- make environment more user friendly · a0ce452b
  BERTOT Yves authored 7 years ago
  
  a0ce452b
- Improve setup of smtcoq, download executable and set variables · 845cfb81
  BERTOT Yves authored 7 years ago
  
  845cfb81
Oct 12, 2017
- add a little explanation on how to use these dockerfiles · 57fe3533
  BERTOT Yves authored 7 years ago
  
  57fe3533
- compile and then install cvc4 · 9357d4cd
  BERTOT Yves authored 7 years ago
  
  9357d4cd
- compile smtcoq, veritT, and configure but not compile cvc4 · 4db8fcb7
  BERTOT Yves authored 7 years ago
  
  4db8fcb7
Oct 11, 2017
- adds descriptions for the odd order theorem and smtcoq · f1cd14f4
  BERTOT Yves authored 7 years ago
  
  f1cd14f4
May 18, 2017
- adds a chain of images to have all of mathcomp · 62a7d7f6
  BERTOT Yves authored 8 years ago
  
  62a7d7f6
- you need to add coq opam repositories · 6e1e3b44
  BERTOT Yves authored 8 years ago
  
  6e1e3b44
- build coquelicot from coq · 59945ae6
  BERTOT Yves authored 8 years ago
  
  59945ae6
- fix the version of coq in the install command · d5ba2115
  BERTOT Yves authored 8 years ago
  
  d5ba2115
- container with user johndoe, opam installed and initialized for that user · 50de23c6
  BERTOT Yves authored 8 years ago
  
  50de23c6