यह ऑनलाइन लिनक्स में चलने के लिए आर्काइव ऑफ फॉर्मल प्रूफ्स नाम का लिनक्स ऐप है, जिसकी नवीनतम रिलीज़ को afp-2019-08-19.tar.gz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ऑनवर्क्स के साथ ऑनलाइन लिनक्स में चलाने के लिए आर्काइव ऑफ फॉर्मल प्रूफ्स नाम के इस ऐप को ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
स्क्रीनशॉट
Ad
ऑनलाइन लिनक्स में चलाने के लिए औपचारिक प्रमाणों का संग्रह
वर्णन
औपचारिक प्रमाणों का पुरालेख प्रूफ पुस्तकालयों, उदाहरणों और बड़े वैज्ञानिक विकासों का एक संग्रह है, जिसे प्रमेय नीतिवचन इसाबेल में यांत्रिक रूप से जाँचा गया है। यह एक वैज्ञानिक पत्रिका के रूप में आयोजित किया जाता है। प्रस्तुतियाँ रेफरी की जाती हैं।दर्शक
विज्ञान/अनुसंधान
यूजर इंटरफेस
एक्स विंडो सिस्टम (X11)
प्रोग्रामिंग भाषा
ओकैमल (ऑब्जेक्टिव कैमल), हास्केल, स्टैंडर्ड एमएल
यह एक ऐसा एप्लिकेशन है जिसे https://sourceforge.net/projects/afp/ से भी प्राप्त किया जा सकता है। इसे ऑनवर्क्स में होस्ट किया गया है ताकि इसे हमारे एक फ्री ऑपरेटिव सिस्टम से सबसे आसान तरीके से ऑनलाइन चलाया जा सके।
