HOL - Nemokamai atsisiųsti programinę įrangą Už Linux

HOL 7

Hol trumpas iš aukštesnės eilės logika programavimo aplinka, kurioje gali būti įrodyta, teoremos ir nesukeliančius įrankius įgyvendinti.Built-in sprendimo procedūras ir teorema Provers gali automatiškai nustatyti daug paprastų teoremas. Orakulas...

Kategorijos: Kūrėjo įrankiai, Kokybės užtikrinimo ir testavimo įranga

Nemokama Parsisiųsti HOL Už LINUX (tar.gz)

Rekomenduojama programinė įranga Už Linux

Return To Castle Wolfenstein Coop 20 Feb 15

DHIS 2 17 Feb 15

AirSnort 3 Jun 15

BlackArch Linux 22 Jun 18

Syslinux 17 Feb 15

Xandros Desktop OS 3 Jun 15

Distro Astro 17 Feb 15

Oracle Enterprise Linux 22 Jun 18