How to uninstall Coq if it was installed from source?

I have installed coq by compiling it, however, I would like to switch to opam as it has more advantages.

So, how could I uninstall coq? (make uninstall is invalid)

One workaround would be to just start using OPAM and install Coq. That Coq from OPAM will take precedence over the globally installed Coq if you set up environment variables as required by OPAM.

1 Like