Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 4.0/5 - ‎1 ‎Głosów
Pobierz

Archiwum Dowodów Formalnych to zbiór bibliotek dowodowych, przykładów i większych wydarzeń scjentologicznych, mechanicznie sprawdzonych w przyswoje przysłowie Isabelle. Jest zorganizowany w sposób czasopisma naukowego. Zgłoszenia są sędziować.

historia wersji

  • Wersja afp-Isabelle2011 opublikowany na 2011-04-03
    Kilka poprawek i aktualizacji
  • Wersja afp-Isabelle2011 opublikowany na 2011-04-03

Szczegóły programu

Programy pokrewne

  • ADAM Abstract Data Access Models Wolna

    2 Struktury Java z przejściowych i trwałych modeli obiektów opartych na niestandardowe podejście (mniej oczywiste, ale szybsze tworzenie): obiekt jest zestawem nazwanych pól. 3 biblioteki nieobiektowe upraszczające dostęp do

  • Jedora Remix VM Wolna

    Urządzenie Virtual Machine Linux (dla Virtualbox). Ten Fedora Remix kładzie nacisk na aplikacje oparte na Javie. Zawiera OpenOffice.org, OpenJDK, wtyczki przeglądarki (IcedTea) i popularne aplikacje oparte na języku Java, tak

  • DataAide Wolna

    DataAide to VB.Net aplikacja klasyczna, która wykorzystuje narzędzia klienta programu SQL Server 2000 do generowania klas VB.Net, C#lub VB6 i procedur przechowywanych dla tabel w bazie danych PROGRAMU SQL Server 2k. Generuje

  • BlackFox OM (30' Series) Wolna

    BlackFox OM (BlackFox, The Object Model) to biblioteka do przechowywania i manipulowania modelami obiektów wszystkich systemów, aplikacji i bibliotek. Można go używać jako części narzędzi UML, części generatorów kodu, części

  • InfraHID Wolna

    Celem projektu jest umożliwienie normalnej kamery internetowej do wykorzystania jako urządzenie interfejsu człowieka (HID). Przykłady jak korzystać z tego oprogramowania będą używane to: mysz, sterowanie grami wideo, elektron

  • Prop compiler compiler Wolna

    Prop jest językiem pasującym do wzorca opartym na języku C++. Implementuje algebraiczne typy danych, dopasowywanie wzorców i przepisywanie i generuje kod C++ jako dane wyjściowe.

  • ga-flamoot Wolna

    Algorytm genetyczny w języku Python dla rozwijających się programów, które zapisują dany ciąg do przydzielonej przestrzeni danych, przy użyciu złożonego języka maszynowego z tylko 7 instrukcjami i odwróceniem przepływu.

  • Fennel Wolna

    Koper włoski to biblioteka składników przechowywania i przetwarzania danych napisanych w języku C++. Jest on opracowany jako podprojekt Projektu Eigenbase, a także służy jako podłoże dla projektu Farrago.

  • NExcel Wolna

    Biblioteka NExcel umożliwia aplikacji .NET odczytywanie plików Ms Excel, zgodne z programem Excel 97 i górnym. Nie ma potrzeby instalowania programu Ms Office Excel ani bibliotek innych firm. Na podstawie JExcelAPI Andr

  • OpenTag Wolna

    OpenTag to w pełni funkcjonalny stos komunikacyjny dla trybu DASH7 2 (ISO 18000-7.4). Jest przeznaczony do pracy na wbudowanym HW, zwłaszcza RF SoCs, ale może być przeniesiony do prawie wszystkiego. Głównym wyczynem OpenTag j