এটি লিনাক্স অনলাইনে চালানোর জন্য আর্কাইভ অফ ফরমাল প্রুফ নামে লিনাক্স অ্যাপ যার সর্বশেষ প্রকাশ afp-2019-08-19.tar.gz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
অনলাইনে OnWorks-এর সাথে Linux-এ চালানোর জন্য Archive of Formal Proofs নামের এই অ্যাপটি ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 1. আপনার পিসিতে এই অ্যাপ্লিকেশনটি ডাউনলোড করুন৷
- 2. আমাদের ফাইল ম্যানেজারে প্রবেশ করুন https://www.onworks.net/myfiles.php?username=XXXXX আপনি যে ইউজারনেম চান।
- 3. এই ধরনের ফাইল ম্যানেজারে এই অ্যাপ্লিকেশনটি আপলোড করুন।
- 4. এই ওয়েবসাইট থেকে OnWorks Linux অনলাইন বা Windows অনলাইন এমুলেটর বা MACOS অনলাইন এমুলেটর শুরু করুন।
- 5. OnWorks Linux OS থেকে আপনি এইমাত্র শুরু করেছেন, আমাদের ফাইল ম্যানেজারে যান https://www.onworks.net/myfiles.php?username=XXXXX আপনার পছন্দের ব্যবহারকারীর নাম সহ।
- 6. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
স্ক্রীনশটগুলি
Ad
লিনাক্স অনলাইনে চালানোর জন্য আনুষ্ঠানিক প্রমাণের আর্কাইভ
বর্ণনাঃ
দ্য আর্কাইভ অফ ফরমাল প্রুফ হল প্রুফ লাইব্রেরি, উদাহরণ এবং বৃহত্তর বৈজ্ঞানিক উন্নয়নের একটি সংগ্রহ, যা যান্ত্রিকভাবে ইসাবেলের উপপাদ্যে পরীক্ষা করা হয়েছে। এটি একটি বৈজ্ঞানিক জার্নালের উপায়ে সংগঠিত হয়। জমা দেওয়া হয়.পাঠকবর্গ
বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
X উইন্ডো সিস্টেম (X11)
প্রোগ্রামিং ভাষা
OCaml (উদ্দেশ্য Caml), Haskell, স্ট্যান্ডার্ড ML
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/afp/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
