זוהי אפליקציית לינוקס בשם Agda 1 שניתן להוריד את המהדורה האחרונה שלה בתור agda-1.0.2-macosx-ppc.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Agda 1 עם 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. הורד את האפליקציה, התקן אותה והפעל אותה.
אגדה 1
Ad
תיאור
אגדה היא מערכת לפיתוח הוכחות ותכניות בהדרגה. זהו פרויקט sourceforge עבור האגדה הקודמת (אגדה 1). גרסה חדשה יותר של Agda (Agda 2) בבדיקות בטא זמינה מ: http://wiki.portal.chalmers.se/agda/
קהל
מפתחים, חינוך, מדע/מחקר
ממשק משתמש
קונסולה/מסוף, מערכת חלונות X (X11)
שפת תכנות
האסל
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/agda/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.