Ito ang Windows app na pinangalanang Archive of Formal Proofs na tatakbo sa Windows online sa Linux online na ang pinakabagong release ay maaaring ma-download bilang afp-2019-08-19.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Archive of Formal Proofs para tumakbo sa Windows online sa Linux online gamit ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Magsimula ng anumang OS OnWorks online emulator mula sa website na ito, ngunit mas mahusay na Windows online emulator.
- 5. Mula sa OnWorks Windows OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application at i-install ito.
- 7. I-download ang Wine mula sa iyong mga Linux distributions software repository. Kapag na-install na, maaari mong i-double click ang app upang patakbuhin ang mga ito gamit ang Wine. Maaari mo ring subukan ang PlayOnLinux, isang magarbong interface sa ibabaw ng Wine na tutulong sa iyong mag-install ng mga sikat na programa at laro sa Windows.
Ang alak ay isang paraan upang patakbuhin ang software ng Windows sa Linux, ngunit walang kinakailangang Windows. Ang alak ay isang open-source na layer ng compatibility ng Windows na maaaring direktang magpatakbo ng mga program sa Windows sa anumang desktop ng Linux. Sa totoo lang, sinusubukan ng Wine na muling ipatupad ang sapat na Windows mula sa simula upang mapatakbo nito ang lahat ng mga Windows application na iyon nang hindi talaga nangangailangan ng Windows.
MGA SCREENSHOT:
Archive ng Mga Pormal na Katibayan na tatakbo sa Windows online sa Linux online
DESCRIPTION:
Ang Archive of Formal Proofs ay isang koleksyon ng mga patunay na aklatan, mga halimbawa, at mas malalaking scientifc development, na mekanikal na sinuri sa theorem prover na si Isabelle. Ito ay nakaayos sa paraan ng isang siyentipikong journal. Ang mga pagsusumite ay nire-refer.Audience
Agham/Pananaliksik
Interface ng gumagamit
X Window System (X11)
Wika ng Programming
OCaml (Objective Caml), Haskell, Standard ML
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/afp/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.