To jest dowód generalny polecenia, który można uruchomić w bezpłatnym dostawcy 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Ę
proofgeneral — uruchom Emacsa z ekranem powitalnym Proof General
STRESZCZENIE
dowód ogólny pliki...
OPIS
Komenda dowód ogólny to tylko skrót od emacs23 -f pokaz-splash-dowód-
ekran. W ten sposób uruchamia emacsa, wyświetla ekran powitalny Proof General i zachowuje się
poza tym identyczny z emacsem.
Zastosowanie dowód ogólny plik.v aby rozpocząć Proof General w trybie Coq plik.v.
Skorzystaj z narzędzia Proofgeneral online, korzystając z usług onworks.net
