gwhy - क्लाउड में ऑनलाइन

उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर पर ऑनवर्क्स मुफ्त होस्टिंग प्रदाता में gwhy चलाएं

यह कमांड gwhy है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।

उबंटू में चलाएं फेडोरा में दौड़ें विंडोज सिम में चलाएं मैकोज़ सिम में चलाएं

कार्यक्रम:

नाम

क्यों - एक बहु-भाषा बहु-प्रोवर सत्यापन उपकरण

SYNOPSIS

क्यों [ विकल्पों ] फ़ाइलों

वर्णन

क्यों एक सत्यापन उपकरण है। यह एनोटेट प्रोग्राम को इनपुट के रूप में लेता है (एमएल या सी सिंटैक्स में) और
कई प्रूफ सहायकों (Coq, PVS, HOL Light, Mizar) के लिए सत्यापन शर्तों को आउटपुट करता है
और निर्णय प्रक्रिया (haRVey, सरलीकृत)।

विकल्प

-h मदद। आपको कमांड लाइन विकल्पों की पूरी सूची देगा।

लेखक

जीन क्रिस्टोफ़ फ़िलिअट्रे <[ईमेल संरक्षित]>

onworks.net सेवाओं का उपयोग करके ऑनलाइन gwhy का उपयोग करें

फ्री सर्वर और वर्कस्टेशन

1

उबुन्टू सूक्ति 16

उबंटू सर्वर

सर्वर चलाएँ
2

Edubuntu

उबंटू सर्वर

सर्वर चलाएँ
3

Lubuntu

उबंटू सर्वर

सर्वर चलाएँ
अधिक "

विंडोज और लाइनेक्स एप डाउनलोड करें

1

ऑल्ट-एफ

Alt-F एक मुफ़्त और खुला स्रोत प्रदान करता है
DLINK के लिए वैकल्पिक फर्मवेयर
DNS-320/320L/321/323/325/327L and
DNR-322L। Alt-F में सांबा और NFS हैं;
ext2/3/4 का समर्थन करता है...

ऑल्ट-एफ डाउनलोड करें
2

USM

Usm एक एकीकृत स्लैकवेयर पैकेज है
प्रबंधक जो स्वचालित रूप से संभालता है
निर्भरता संकल्प। यह एकजुट करता है
सहित विभिन्न पैकेज रिपॉजिटरी
सुस्त बर्तन, सुस्त, पी...

यूएसएम डाउनलोड करें
3

Chart.js

चार्ट.जेएस एक जावास्क्रिप्ट लाइब्रेरी है जो
डिजाइनरों और डेवलपर्स को आकर्षित करने की अनुमति देता है
HTML5 का उपयोग करने वाले सभी प्रकार के चार्ट
कैनवास तत्व। चार्ट जे एस एक महान प्रदान करता है
सरणी ...

चार्ट.जेएस डाउनलोड करें
4

iReport-JasperReports के लिए डिज़ाइनर

नोट: iReport/Jaspersoft स्टूडियो सपोर्ट
घोषणा: संस्करण 5.5.0 के अनुसार,
जैस्परसॉफ्ट स्टूडियो आधिकारिक होगा
JasperReports के लिए डिज़ाइन क्लाइंट। मैं विवरण देता हूँ
मर्जी...

JasperReports के लिए iReport-Designer डाउनलोड करें
5

पोस्टइंस्टॉलरF

PostInstallerF सभी को स्थापित करेगा
सॉफ्टवेयर जो फेडोरा लिनक्स और अन्य
बाद में डिफ़ॉल्ट रूप से शामिल नहीं होता है
पहली बार फेडोरा चला रहा है। इसका
के लिए आसान...

पोस्ट इंस्टालर एफ डाउनलोड करें
6

स्ट्रेस

स्ट्रेस प्रोजेक्ट को स्थानांतरित कर दिया गया है
https://strace.io. strace is a
डायग्नोस्टिक, डिबगिंग और इंस्ट्रक्शनल
लिनक्स के लिए यूजरस्पेस ट्रैसर। इसका प्रयोग किया जाता है
निगरानी करने के लिए...

स्ट्रेस डाउनलोड करें
अधिक "

1

एक्ससुइट

ExpSuite एक सॉफ्टवेयर फ्रेमवर्क है
आवेदन मनोविश्लेषणात्मक प्रदर्शन करने के लिए
प्रयोग। ExpSuite ध्वनिक की अनुमति देता है
और सामान्य के लिए विद्युत उत्तेजना
सुनवाई...

एक्सपसुइट डाउनलोड करें
2

स्ट्रेस

स्ट्रेस प्रोजेक्ट को स्थानांतरित कर दिया गया है
https://strace.io. strace is a
डायग्नोस्टिक, डिबगिंग और इंस्ट्रक्शनल
लिनक्स के लिए यूजरस्पेस ट्रैसर। इसका प्रयोग किया जाता है
एक निगरानी करने के लिए ...

स्ट्रेस डाउनलोड करें
3

एलडीएपी व्यवस्थापक

विंडोज एलडीएपी संपादक, समर्थन शामिल है
POSIX समूहों और खातों के लिए, SAMBA
खाते, कुछ पोस्टफ़िक्स ऑब्जेक्ट और बहुत कुछ।
सुविधाऐं: एलडीएपी की ब्राउजिंग और एडिटिंग
प्रत्यक्ष...

एलडीएपी व्यवस्थापक डाउनलोड करें
4

संख्यात्मक पायथन

समाचार: NumPy 1.11.2 अंतिम रिलीज़ है
जिसे सोर्सफोर्ज पर बनाया जाएगा। पहियों
विंडोज, मैक और लिनक्स के लिए भी
संग्रहीत स्रोत वितरण चार हो सकते हैं...

संख्यात्मक पायथन डाउनलोड करें
5

फेनोस्केप

Phenoscape प्रोजेक्ट का प्रयास करता है
विवरण को औपचारिक रूप देना
उन्हें बनाने के लिए विकासवादी पात्र
के साथ इंटरऑपरेबल और कम्प्यूटेबल
फेनोटाइप का शरीर...

फेनोस्केप डाउनलोड करें
6

सीएमयू स्फिंक्स

CMUSphinx एक स्पीकर-स्वतंत्र लार्ज है
शब्दावली निरंतर भाषण पहचानकर्ता
बीएसडी स्टाइल लाइसेंस के तहत जारी किया गया। यह है
ओपन सोर्स टूल्स का संग्रह भी ...

सीएमयू स्फिंक्स डाउनलोड करें
अधिक "

लिनक्स कमांड

1

आलिब-कॉन्फ़िगरेशन

aalib-config - प्राप्त करने के लिए स्क्रिप्ट
स्थापित संस्करण के बारे में जानकारी
आलिब का...

आलिब-कॉन्फ़िगरेशन चलाएँ
2

आपफोटो

aaphoto - का स्वत: रंग सुधार
तस्वीरें ...

फोटो चलाओ
3

रसोइया

कूकएफपी - फ़ाइल फ़िंगरप्रिंट की गणना करें ...

कुकएफपी चलाएं
4

कुकी का ढांचा

कूकीकटर � से प्रोजेक्ट बनाएं
प्रोजेक्ट टेम्प्लेट ...

कुकीकटर चलाएं
5

FvwmIconMan

FvwmIconMan - एक fvwm आइकन प्रबंधक ...

FvwmIconMan चलाएँ
6

Fvwmपहचान

FvwmIdent - Fvwm पहचान-विंडो
मापांक ...

FvwmIdent चलाएं
अधिक "

ऑनवर्क्स एक मुफ्त ऑनलाइन वीपीएस होस्टिंग प्रदाता है जो मुफ्त वर्कस्टेशन, ऑनलाइन एंटीवायरस, मुफ्त वीपीएन सुरक्षित प्रॉक्सी, और मुफ्त व्यक्तिगत और व्यावसायिक ईमेल जैसी क्लाउड सेवाएं देता है। हमारा मुफ्त वीपीएस सेंटोस, फेडोरा, उबंटू और डेबियन पर आधारित हो सकता है। उनमें से कुछ को ऑनलाइन विंडोज या मैकओएस ऑनलाइन की तरह अनुकूलित किया गया है।

T3 फ्रेमवर्क द्वारा संचालित