İngilizceFransızcaİspanyolca

OnWorks favicon'u

Windows'ta Lin üzerinden çevrimiçi olarak çalıştırılacak Resmi Kanıtlar Arşivi

Ücretsiz indir Resmi Kanıtlar Arşivi, Windows'ta çevrimiçi Linux üzerinden çevrimiçi çalıştırmak için çevrimiçi Windows uygulamasını çalıştırmak için çevrimiçi Ubuntu çevrimiçi, Fedora çevrimiçi veya çevrimiçi Debian'da Wine kazanın

Bu, en son sürümü afp-2019-08-19.tar.gz olarak indirilebilen, çevrimiçi Linux üzerinden Windows'ta çevrimiçi olarak çalışan Resmi Kanıt Arşivi adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.

OnWorks ile çevrimiçi olarak Linux üzerinden Windows'ta çevrimiçi çalıştırmak için Resmi Kanıt Arşivi adlı bu uygulamayı çevrimiçi olarak indirin ve çalıştırın.

Bu uygulamayı çalıştırmak için şu talimatları izleyin:

- 1. Bu uygulamayı PC'nize indirdiniz.

- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.

- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.

- 4. Bu web sitesinden herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.

- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.

- 6. Uygulamayı indirin ve kurun.

- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.

Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.

EKRAN

Ad


Windows'ta çevrimiçi Linux üzerinden çevrimiçi çalışacak Resmi Kanıtlar Arşivi


TANIM

Resmi Kanıtlar Arşivi, teorem ispatlayıcı Isabelle'de mekanik olarak kontrol edilen ispat kitaplıkları, örnekler ve daha büyük bilimsel gelişmelerden oluşan bir koleksiyondur. Bilimsel bir dergi şeklinde düzenlenmiştir. Gönderilenler hakemlidir.

Seyirci

Bilim araştırması


Kullanıcı arabirimi

X Pencere Sistemi (X11)


Programlama dili

OCaml (Objektif Caml), Haskell, Standart ML



Bu, https://sourceforge.net/projects/afp/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.


Ücretsiz Sunucular ve İş İstasyonları

Windows ve Linux uygulamalarını indirin

  • 1
    KDiff3
    KDiff3
    Bu depo artık korunmuyor
    ve arşiv amaçlı saklanmaktadır. Görmek
    https://invent.kde.org/sdk/kdiff3 for
    en yeni kod ve
    https://download.kde.o...
    KDiff3'ü indirin
  • 2
    USBYükleyiciGX
    USBYükleyiciGX
    USBLoaderGX için bir GUI'dir
    Waninkoko'nun USB Yükleyicisi,
    libwiigui. Listelemeye izin verir ve
    Wii oyunları, Gamecube oyunları ve
    Wii ve WiiU'da homebrew...
    USBLoaderGX'i indirin
  • 3
    Firebird
    Firebird
    Firebird RDBMS, ANSI SQL özellikleri sunar
    & Linux, Windows üzerinde çalışır &
    birkaç Unix platformu. Özellikler
    mükemmel eşzamanlılık ve performans
    & güç...
    Firebird'ü indirin
  • 4
    KompoZer
    KompoZer
    KompoZer, aşağıdakileri kullanan bir wysiwyg HTML editörüdür.
    Mozilla Besteci kod tabanı. Olarak
    Nvu'nun gelişimi durduruldu
    2005'te KompoZer birçok hatayı düzeltti ve
    bir f ekler...
    KompoZer'i indirin
  • 5
    Ücretsiz Manga İndiricisi
    Ücretsiz Manga İndiricisi
    Ücretsiz Manga İndiricisi (FMD), bir
    yazılmış açık kaynak uygulama
    Yönetmek için Object-Pascal ve
    çeşitli web sitelerinden manga indirmek.
    Bu bir ayna...
    Ücretsiz Manga İndiriciyi İndirin
  • 6
    UNetbootin
    UNetbootin
    UNetbootin, önyüklenebilir oluşturmanıza olanak tanır
    Ubuntu, Fedora ve için canlı USB sürücüler
    olmayan diğer Linux dağıtımları
    CD yazma. Windows, Linux üzerinde çalışır,
    ve ...
    UNetbootin'i indirin
  • Daha fazla »

Linux komutları

Ad