Wersja 8.13.1 jest na students w katalogu

 /opt/coq.8.13.1/bin

Należy zmienić PATH (dołożyć powyższą ścieżkę przed /usr/bin/ bo tam jest jakiś stary coqc) a nastepnie użyć:

coqide examples.v &