Mentions légales du service

Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
  • v8.7
2 results
Created with Raphaël 2.2.031Oct3026121118Maydetails (homedir, name of used images)v8.7v8.7better handling o container namestypoadds environment configuration for opamnew version of coqcorrect mistake on downloaded executable for cvc4, make it the defaultmastermastermake environment more user friendlyImprove setup of smtcoq, download executable and set variablesadd a little explanation on how to use these dockerfilescompile and then install cvc4compile smtcoq, veritT, and configure but not compile cvc4adds descriptions for the odd order theorem and smtcoqadds a chain of images to have all of mathcompyou need to add coq opam repositoriesbuild coquelicot from coqfix the version of coq in the install commandcontainer with user johndoe, opam installed and initialized for that user