এটি Isabelle/Eclipse নামের লিনাক্স অ্যাপ যার সর্বশেষ প্রকাশটি isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
Isabelle/Eclipse নামের এই অ্যাপটি OnWorks সহ বিনামূল্যে অনলাইনে ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 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. অ্যাপ্লিকেশনটি ডাউনলোড করুন, এটি ইনস্টল করুন এবং এটি চালান।
স্ক্রিনশট:
ইসাবেল/গ্রহণ
বর্ণনাঃ
Eclipse প্লাগ-ইন যা Isabelle প্রমাণ সহকারীর জন্য Prover IDE প্রদান করে, ইসাবেল/স্ক্যালা ফ্রেমওয়ার্কের উপর ভিত্তি করে।ইসাবেল/ইক্লিপস প্ল্যাগ-ইন হিসাবে Eclipse IDE-এর সাথে একীভূত করার জন্য Isabelle/jEdit Prover IDE-এর পোর্ট হিসাবে শুরু হয়েছিল। ইন্টিগ্রেশন তত্ত্ব সম্পাদনা, সঠিক চিহ্ন, সমাপ্তি সহায়তা, প্রোভার আউটপুট এবং অন্যান্য বৈশিষ্ট্য প্রদানের জন্য সাধারণ Eclipse উপাদান ব্যবহার করে। Eclipse এর উপর তৈরি করে এটি বাক্সের বাইরে বিভিন্ন IDE গুডিজ উত্তরাধিকার সূত্রে পায়।
এই SourceForge প্রকল্পটি Isabelle/Eclipse ফাইলগুলি বিতরণ করতে ব্যবহৃত হয় - সোর্স কোড এবং ইস্যু ব্যবস্থাপনা গিটহাবে উপলব্ধ: http://github.com/andriusvelykis/isabelle-eclipse
ইসাবেল/এক্লিপস ওয়েবসাইটে যান http://andriusvelykis.github.com/isabelle-eclipse
পাঠকবর্গ
তথ্য প্রযুক্তি, বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
অন্ধকার
প্রোগ্রামিং ভাষা
জাভা, স্কালা
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/isabelleeclipse/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।