Jest to polecenie miniscope, które 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Ę
ladr4-apps - nieudokumentowane aplikacje LADR4
OPIS
Niektóre programy w Ladr4-apps pakiet nie ma obecnie stron podręcznika. Możesz uzyskać
dokumentację dotyczącą niektórych z tych aplikacji za pośrednictwem przywódca9 podręcznik, który jest dostępny na
Systemy Debiana za pośrednictwem pakietu dowód9-doc, w
/usr/share/doc/prover9-doc/manual/index.html. Alternatywnie wywołanie aplikacji za pomocą
dotychczasowy -Pomoc opcja może generować dokumentację. Mile widziane są łatki do dodawania stron podręcznika, i
można wysłać do opiekuna pakietu Debiana, którego szczegóły są wymienione poniżej.
Korzystaj z miniskopu online, korzystając z usług onworks.net
