Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen komut miniskobudur.
Program:
ADI
ladr4-apps - belgelenmemiş LADR4 uygulamaları
TANIM
içindeki bazı programlar ladr4 uygulamaları paketin şu anda manuel sayfası yok. elde edebilirsiniz
aracılığıyla bu uygulamalardan bazılarına ilişkin belgeler kanıt9 adresinde mevcut olan kılavuz
Paket üzerinden Debian sistemleri pror9-docat
/usr/share/doc/prover9-doc/manual/index.html. Alternatif olarak uygulamayı şu şekilde çağırmak
the -Yardım seçeneği belgeler üretebilir. Kılavuz sayfaları eklemek için yamalar kabul edilir ve
ayrıntıları aşağıda listelenen Debian paket sağlayıcısına gönderilebilir.
onworks.net hizmetlerini kullanarak miniscope çevrimiçi kullanın