Wersja 8.15.0 jest na students w katalogu /opt/coq815/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 &