זוהי אפליקציית לינוקס בשם Archive of Formal Proofs להפעלה מקוונת בלינוקס, אשר את הגרסה האחרונה שלה ניתן להוריד כ- afp-2019-08-19.tar.gz. ניתן להפעיל אותה באופן מקוון בספק האירוח החינמי OnWorks לתחנות עבודה.
הורד והפעל באופן מקוון את האפליקציה הזו בשם ארכיון הוכחות פורמליות כדי להריץ אותה בלינוקס באופן מקוון עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
בצילומי מסך
Ad
ארכיון של הוכחות פורמליות להפעלה מקוונת בלינוקס
תיאור
ארכיון ההוכחות הפורמליות הוא אוסף של ספריות הוכחה, דוגמאות ופיתוחים מדעיים גדולים יותר, שנבדקו באופן מכני במוכיח המשפט איזבל. זה מאורגן בדרך של כתב עת מדעי. ההגשות נשפטות.קהל
מדע/מחקר
ממשק משתמש
X Windows System (X11)
שפת תכנות
OKaml (Objective Caml), Haskell, Standard ML
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/afp/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.
