Aceasta este comanda fof-prover9 care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
ladr4-apps - aplicații LADR4 nedocumentate
DESCRIERE
Unele programe din ladr4-apps pachetul nu are în prezent pagini de manual. Puteți obține
documentație privind unele dintre aceste aplicații prin intermediul doveditor9 manual, care este disponibil pe
Sistemele Debian prin pachet prover9-doc, la
/usr/share/doc/prover9-doc/manual/index.html. Alternativ, invocarea aplicației cu
il -Ajutor opțiunea poate produce documentație. Patch-urile pentru adăugarea paginilor manuale sunt binevenite și
poate fi trimis la întreținătorul pachetului Debian, ale cărui detalii sunt enumerate mai jos.
Utilizați fof-prover9 online folosind serviciile onworks.net
