Prześlij oprogramowanie
  1. W: strona główna
  2. Linux
  3. Innych
  4. Lurch

Lurch 0.4

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

Oprogramowanie do nauczania i uczenia się dowodów matematycznych Gdzie większość matematycznych oprogramowania dowód koncentruje się na formalnej logiki (lub innego obszaru specjalności matematyki), Lurch ma być naprawdę ogólnego przeznaczenia, z attracitve interfejsu użytkownika.

historia wersji

  • Wersja 0.4 opublikowany na 2010-09-22
    Kilka poprawek i aktualizacji
  • Wersja 0.4 opublikowany na 2010-09-22

Szczegóły programu

Programy pokrewne

  • TOTAL .NET Protector Bezpłatna wersja próbna

    Ponieważ .NET jest środowiskiem zarządzanym, zawsze jest wadą posiadania kodu otwartego dla każdego, kto używa reflektora lub refraktora.Skater TOTAL konwertuje dekompilowany kod microsoft intermediate language (MSIL lub CI

  • Ziga Wolna

    Aplikacja do udostępniania plików napisana w języku Java. Używa modułów do obsługi różnych protokołów. W tej chwili dostępny jest moduł protokołu Napster i Gnutella.

  • Scriptol Xul Dev Wolna

    Xul Dev oznacza dla środowiska deweloperskiego Xul. IDE jest przeznaczony do projektowania interfejsów Xul i tworzenia programów w dowolnym języku programowania. IDE jest napisany w Scriptol C++ i dostępny w formie źródłowej

  • cmpio library Wolna

    Libcmpio to biblioteka ogólnego przeznaczenia, która zapewnia łatwy sposób manipulowania plikami danych o zmiennej długości rekordu, kompresji rekordów, przezroczystego tworzenia i sterowania głośności oraz przenoszenia międz

  • Nuke My Tablet Bezpłatna wersja próbna

    Nuke My Tablet chroni twoją prywatność, zabezpieczając twoje dane osobowe, takie jak zdjęcia i filmy, i przywracając telefon do ustawień fabrycznych. Teraz możesz bezpiecznie zmienić przeznaczenie starych urządzeń lub uaktual

  • the prefuse visualization toolkit Wolna

    Narzędzia programowe do tworzenia interaktywnych aplikacji do wizualizacji informacji. Prefuse obsługuje bogaty zestaw funkcji do modelowania danych, wizualizacji, animacji i interakcji zarówno dla oprogramowania Java (prefus

  • AJIO Wolna

    AJIO umożliwia budowanie słoików z jednej lub więcej klas. Utworzony plik jar zawiera wszystkie klasy zależne ze wszystkich plików jar, do których istnieje odwołanie.AJIO permet de crer UN jar partir d'une ou plusieurs cl

  • AdaDLX Wolna

    Jest to implementacja Ada Dancing Links X Algorithm jak w donald e. knuth papieru. AdaDLX służy do rozwiązywania układanki Eight-Queens, siatek Sudoku i bloków w puzzli.

  • Php5 Meta-Model Wolna

    Model Php 5. W ramach tego projektu znajduje się ecore Php 5 Model i jego generator.

  • Spyc Wolna

    Spyc jest prosty YAML ładowarka / wywrotka klasy PHP. Może być używany do ładowania plików YAML do struktur danych PHP lub do zrzutu tablic PHP do prostego YAML. Aby uzyskać więcej informacji na temat YAML, zobacz www.yaml.or