এটি লিনাক্স অনলাইনে চালানোর জন্য The GraPE Graphical Proof Editor নামে একটি লিনাক্স অ্যাপ যার সর্বশেষ রিলিজটি grape-0.9.4.tar.gz হিসাবে ডাউনলোড করা যেতে পারে। এটি ওয়ার্কস্টেশনের জন্য বিনামূল্যের হোস্টিং প্রদানকারী OnWorks-এ অনলাইনে চালানো যেতে পারে।
অনলাইনে OnWorks-এর সাথে Linux-এ চালানোর জন্য The GraPE Graphical Proof Editor নামের এই অ্যাপটি ডাউনলোড করুন এবং চালান।
এই অ্যাপটি চালানোর জন্য এই নির্দেশাবলী অনুসরণ করুন:
- 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
গ্রাফিকাল প্রুফ এডিটর লিনাক্সে অনলাইনে চালানোর জন্য
বর্ণনাঃ
প্রুফ থিওরিস্টদের জন্য ডিডাকশন সিস্টেম অধ্যয়ন করার জন্য এবং তাদের জন্য প্রুফ সার্চ কৌশল তৈরি করার জন্য একটি টুল। GraPE অবশেষে ধাপে ধাপে প্রমাণ নির্মাণ, বিভিন্ন কৌশল সহ স্বয়ংক্রিয় প্রমাণ অনুসন্ধান, প্রমাণ রূপান্তর এবং বিশ্লেষণ সমর্থন করা উচিত।পাঠকবর্গ
উন্নত শেষ ব্যবহারকারী, শিক্ষা, বিজ্ঞান/গবেষণা
ব্যবহারকারী ইন্টারফেস
জাভা সুইং
প্রোগ্রামিং ভাষা
জাভা
এটি একটি অ্যাপ্লিকেশন যা https://sourceforge.net/projects/grape/ থেকেও আনা যেতে পারে। আমাদের বিনামূল্যের অপারেটিভ সিস্টেমগুলির মধ্যে একটি থেকে সবচেয়ে সহজ উপায়ে অনলাইনে চালানোর জন্য এটি OnWorks-এ হোস্ট করা হয়েছে।
