Jest to polecenie coqtop.opt, które można uruchomić u dostawcy bezpłatnego hostingu OnWorks przy użyciu jednej z naszych wielu bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online systemu MAC OS
PROGRAM:
IMIĘ
coqtop.opt — najwyższy poziom kodu natywnego Coq
STRESZCZENIE
koopt.opt [ Opcje ] [ filet ]
OPIS
koopt.opt jest natywną wersją Coq. Nie należy go wywoływać bezpośrednio, a jedynie
by koktop i kok
Korzystaj z coqtop.opt online, korzystając z usług onworks.net