ইংরেজিফরাসিস্প্যানিশ

সার্ভার চালান | Ubuntu > | Fedora > |


অনওয়ার্কস ফেভিকন

Why-dp - ক্লাউডে অনলাইন

উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটরের মাধ্যমে OnWorks ফ্রি হোস্টিং প্রদানকারীতে Why-dp চালান

এই হল কেন-ডিপি কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।

কার্যক্রম:

NAME এর


কেন - একটি বহু-ভাষা বহু-প্রমাণ যাচাইকরণ টুল

সাইনোপিসিস


কেন [ অপশন ] নথি পত্র

বর্ণনাঃ


কেন একটি যাচাইকরণ টুল। এটি টীকাযুক্ত প্রোগ্রামগুলিকে ইনপুট হিসাবে নেয় (এমএল বা সি সিনট্যাক্সে) এবং
বেশ কয়েকটি প্রমাণ সহকারীর জন্য যাচাইকরণের শর্তগুলি আউটপুট করে (Coq, PVS, HOL Light, Mizar)
এবং সিদ্ধান্ত পদ্ধতি (haRVey, সরলীকরণ)।

বিকল্প


-h সাহায্য আপনাকে কমান্ড লাইন বিকল্পগুলির সম্পূর্ণ তালিকা দেবে।

লেখক


জিন-খ্রিস্টফি ফিলিয়াটার <filliatr@lri.fr>

onworks.net পরিষেবা ব্যবহার করে কেন-ডিপি অনলাইন ব্যবহার করুন


Ad


Ad