İngilizceFransızcaİspanyolca

Ubuntu | Fedora | VPN | File sharing


OnWorks favicon'u

coq_makefile - Bulutta Çevrimiçi

Coq_makefile dosyasını OnWorks ücretsiz barındırma sağlayıcısında Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü üzerinden çalıştırın

Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen coq_makefile komutudur.

Program:

ADI


coq_makefile - Coq Proof Assistant makefile oluşturucu

SİNOPSİS


coq_makefile [ argümanlar ]

TANIM


coq_makefile Coq kanıtı geliştirmeleri için bir makefile üretecidir.

SEÇENEKLER


-h Size coq_makefile seçeneklerinin tüm listesinin bir tanımını verecektir.

onworks.net hizmetlerini kullanarak coq_makefile çevrimiçi kullanın


Ücretsiz Sunucular ve İş İstasyonları


Windows ve Linux uygulamalarını indirin


  • 1
    VASAL Motor
    VASAL Motor
    VASSAL, oluşturmak için bir oyun motorudur.
    geleneksel tahtanın elektronik versiyonları
    ve kart oyunları. için destek sağlar
    oyun parçası oluşturma ve etkileşim,
    ve ...
    VASSAL Motorunu İndirin
  • 2
    OpenPDF - iText çatalı
    OpenPDF - iText çatalı
    OpenPDF oluşturmak için bir Java kütüphanesidir.
    ve PDF dosyalarını bir LGPL ile düzenlemek ve
    MPL açık kaynak lisansı. OpenPDF
    LGPL/MPL iText'in açık kaynaklı halefi,
    var ...
    OpenPDF'i İndirin - iText Çatalı
  • 3
    SAGA CBS
    SAGA CBS
    SAGA - Otomatik Sistem
    Yerbilimsel Analizler - Bir Coğrafidir
    Bilgi Sistemi (GIS) yazılımı ile
    coğrafi veriler için muazzam yetenekler
    işleme ve ana...
    SAGA GIS'i indirin
  • 4
    Java/JTOpen için Araç Kutusu
    Java/JTOpen için Araç Kutusu
    IBM Toolbox for Java / JTOpen, bir
    destekleyen Java sınıfları kütüphanesi
    istemci/sunucu ve internet programlama
    modelleri OS/400 çalıştıran bir sisteme,
    i5/OS veya...
    Java/JTOpen için Toolbox'ı indirin
  • 5
    d3.js
    d3.js
    D3.js (veya Veriye Dayalı Belgeler için D3)
    sağlayan bir JavaScript kitaplığıdır.
    dinamik, etkileşimli veriler üretmek için
    web tarayıcılarında görselleştirmeler. D3 ile
    sen...
    D3.js'yi indirin
  • 6
    Shadowsocks
    Shadowsocks
    Size yardımcı olan hızlı bir tünel proxy'si
    güvenlik duvarlarını atla Bu bir uygulamadır
    bu da alınabilir
    https://sourceforge.net/projects/shadowsocksgui/.
    Bu...
    Shadowsocks'u indirin
  • Daha fazla »

Linux komutları

Ad




ONWORKS® HAKKINDA

OnWorks, ücretsiz iş istasyonları, çevrimiçi AntiVirus, ücretsiz VPN güvenli proxy'leri ve ücretsiz kişisel ve iş e-postası gibi bulut hizmetleri sunan ücretsiz bir çevrimiçi VPS barındırma sağlayıcısıdır. Ücretsiz VPS'miz CentOS, Fedora, Ubuntu ve Debian tabanlı olabilir. Bazıları çevrimiçi Windows veya çevrimiçi MacOS gibi olacak şekilde özelleştirilmiştir.

Site Bağlantıları
Sitelerimiz

Telif hakkı ©2024 OffiDocs Group OU. Tüm hakları Saklıdır. OnWorks® tescilli bir ticari markadır.