amintimany / setcoq

A simple way to manage multiple versions of Coq

Make sure that realpath is installed.