Ito ang command miniscope na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
ladr4-apps - undocumented LADR4 applications
DESCRIPTION
Ilang mga programa sa ladr4-apps package ay kasalukuyang walang manu-manong mga pahina. Maaari mong makuha
dokumentasyon sa ilan sa mga application na ito sa pamamagitan ng salawikain9 manual, na available sa
Debian system sa pamamagitan ng package prover9-doc, sa
/usr/share/doc/prover9-doc/manual/index.html. Bilang kahalili sa pag-invoke sa application gamit ang
ang -tulong ang opsyon ay maaaring gumawa ng dokumentasyon. Ang mga patch upang magdagdag ng mga manu-manong pahina ay malugod na tinatanggap, at
maaaring ipadala sa Debian package maintainer, na ang mga detalye ay nakalista sa ibaba.
Gumamit ng miniscope online gamit ang mga serbisyo ng onworks.net