/setcoq

A simple way to manage multiple versions of Coq

Primary LanguageShell

Make sure that realpath is installed.