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

Ad


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

gwhy - ক্লাউডে অনলাইন

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

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

কার্যক্রম:

NAME এর


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

সাইনোপিসিস


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

বর্ণনাঃ


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

বিকল্প


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

লেখক


জিন-খ্রিস্টফি ফিলিয়াটার <[ইমেল সুরক্ষিত]>

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


বিনামূল্যে সার্ভার এবং ওয়ার্কস্টেশন

উইন্ডোজ এবং লিনাক্স অ্যাপ ডাউনলোড করুন

  • 1
    Phaser
    Phaser
    Phaser একটি দ্রুত, বিনামূল্যে, এবং মজার খোলা
    উৎস HTML5 গেম ফ্রেমওয়ার্ক অফার করে
    WebGL এবং ক্যানভাস রেন্ডারিং জুড়ে
    ডেস্কটপ এবং মোবাইল ওয়েব ব্রাউজার। গেমস
    সহ হতে পারে...
    Phaser ডাউনলোড করুন
  • 2
    ভাসাল ইঞ্জিন
    ভাসাল ইঞ্জিন
    VASSAL তৈরির জন্য একটি গেম ইঞ্জিন
    ঐতিহ্যগত বোর্ডের ইলেকট্রনিক সংস্করণ
    এবং কার্ড গেম। এটি জন্য সমর্থন প্রদান করে
    গেম পিস রেন্ডারিং এবং মিথস্ক্রিয়া,
    এবং...
    ভাসাল ইঞ্জিন ডাউনলোড করুন
  • 3
    OpenPDF - iText এর কাঁটা
    OpenPDF - iText এর কাঁটা
    OpenPDF তৈরির জন্য একটি জাভা লাইব্রেরি
    এবং LGPL দিয়ে PDF ফাইল সম্পাদনা করা এবং
    এমপিএল ওপেন সোর্স লাইসেন্স। OpenPDF হল
    LGPL/MPL ওপেন সোর্স iText এর উত্তরসূরি,
    আছে ...
    OpenPDF ডাউনলোড করুন - iText এর ফর্ক
  • 4
    সাগা জিআইএস
    সাগা জিআইএস
    SAGA - স্বয়ংক্রিয় জন্য সিস্টেম
    ভূ-বৈজ্ঞানিক বিশ্লেষণ - একটি ভৌগলিক
    সাথে ইনফরমেশন সিস্টেম (GIS) সফটওয়্যার
    জিওডাটার জন্য বিশাল ক্ষমতা
    প্রক্রিয়াকরণ এবং ana...
    SAGA GIS ডাউনলোড করুন
  • 5
    Java/JTOpen এর জন্য টুলবক্স
    Java/JTOpen এর জন্য টুলবক্স
    Java/JTOpen এর জন্য IBM টুলবক্স হল a
    জাভা ক্লাসের লাইব্রেরি সমর্থন করে
    ক্লায়েন্ট/সার্ভার এবং ইন্টারনেট প্রোগ্রামিং
    OS/400 চালিত একটি সিস্টেমের মডেল,
    i5/OS, o...
    Java/JTOpen এর জন্য টুলবক্স ডাউনলোড করুন
  • 6
    D3.js
    D3.js
    D3.js (বা ডেটা-চালিত নথিগুলির জন্য D3)
    একটি জাভাস্ক্রিপ্ট লাইব্রেরি যা আপনাকে অনুমতি দেয়
    গতিশীল, ইন্টারেক্টিভ ডেটা তৈরি করতে
    ওয়েব ব্রাউজারে ভিজ্যুয়ালাইজেশন। D3 সহ
    আপনি...
    D3.js ডাউনলোড করুন
  • আরও »

লিনাক্স কমান্ডগুলি

Ad