To jest polecenie coqtop.byte, które można uruchomić w darmowym dostawcy usług hostingowych OnWorks przy użyciu jednej z wielu naszych bezpłatnych stacji roboczych online, takich jak Ubuntu Online, Fedora Online, emulator online systemu Windows lub emulator online MAC OS
PROGRAM:
IMIĘ
coqtop.byte — najwyższy poziom kodu bajtowego Coq
STRESZCZENIE
coqtop.bajt [ Opcje ] [ filet ]
OPIS
coqopt.bajt jest wersją kodu bajtowego Coq. Nie powinien być wywoływany bezpośrednio, ale tylko przez
koktop i kok
Korzystaj z coqtop.byte online, korzystając z usług onworks.net