מיניסקופ - מקוון בענן

תָכְנִית:

שֵׁם

ladr4-apps - יישומי LADR4 לא מתועדים

תיאור

כמה תוכניות ב ladr4-אפליקציות לחבילה אין כרגע דפים ידניים. אתה יכול להשיג
תיעוד על חלק מהיישומים הללו דרך ה מוכיח9 מדריך, אשר זמין ב
מערכות דביאן דרך החבילה prover9-doc, at
/usr/share/doc/prover9-doc/manual/index.html. לחילופין הפעלת האפליקציה עם
מה היא עזרה אפשרות עשויה לייצר תיעוד. תיקונים להוספת דפים ידניים יתקבלו בברכה, ו
ניתן לשלוח למנהל החבילה של דביאן, שפרטיו מפורטים להלן.

השתמש במיניסקופ באינטרנט באמצעות שירותי onworks.net