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

Agda 1 1.0.2

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

Agda to system stopniowego opracowywania dowodów i programów. Jest to projekt sourceforge dla POPRZEDNIEJ Agda (Agda 1). Nowsza wersja agda (Agda 2) w wersji beta jest dostępna od: http://wiki.portal.chalmers.se/agda/

historia wersji

  • Wersja 1.0.2 opublikowany na 2008-04-23
    Kilka poprawek i aktualizacji
  • Wersja 1.0.2 opublikowany na 2008-04-23

Szczegóły programu

Programy pokrewne

  • Survival Medicine Guide Bezpłatna wersja próbna

    "Wymaga bezpłatnego programu Adobe Reader"****Jest to przewodnik medycyny przetrwania w przypadku, gdy wszyscy się obawiamy naprawdę się dzieje. Jest to wielki komplement dla każdego dobrego podręcznika przetrwania. Te in

  • terz Wolna

    Terz niesamowite AutoTagger jest zautomatyzowany Audio File Tagger i File Renamer. Wykorzystuje informacje dostarczone przez musicbrainz. Korzystając z informacji kontekstowych Terz osiąga bardzo dobre wyniki. Inne funkcje: p

  • Lua ODE Wolna

    Lua ODE jest powiązania OpenDE dla języka Lua dla Windoze, OS X i Linux platform.

  • assistent-fah Wolna

    Asystent Folding@home obliczania średniej prędkości komputera w Folding@home rozproszonego projektu obliczeniowego według dziennika klienta.Assistent for Folding@home jest licencjonowany na licencji GNU General Public Licen

  • Spanish Tester Lite Bezpłatna wersja próbna

    Hiszpański Tester Pro testuje cię na kondżerach czasowników hiszpańskich i porozumieniu między częściami mowy, generując symulowane pytania quizowe.Pytania wielokrotnego wyboru i pytania typu "wypełnianie w puste" sprawdz

  • IRBEM-LIB Wolna

    IRBEM-LIB zapewnia procedury obliczania współrzędnych magnetycznych dla dowolnego miejsca w polu magnetycznym Ziemi, do przeprowadzania konwersji współrzędnych, oceny modeli geofizyki /fizyki przestrzeni oraz propagowania orb

  • libTopo Wolna

    libTopo i TopoMap to narzędzia do używania, konwertowania, analizowania i wyświetlania map topograficznych, takich jak ETOPO2, ETOPO5 i GLOBE. TopoMap to interfejs wiersza polecenia do konwersji topografii baz danych do niepr

  • Nanodesigner Wolna

    Nanodesigner to platforma programowa do badań nad nanotechnologią molekularną. Posiada architekturę wtyczek i będzie zawierać narzędzia do wizualizacji molekularnej i modelowania, projektowania złożonych nowych cząsteczek, dy

  • Analysis & Reconstruction Sound Wolna

    Analysis & Reconstruction Sound Engine analizuje plik dźwiękowy do spektrogramu i jest w stanie zsyntetyzować ten spektrogram lub dowolny inny obraz stworzony przez użytkownika z powrotem do dźwięku.

  • G200X Motion controller Wolna

    Kod oprogramowania układowego i gui dla kontrolera ruchu Geckodrive G200X