Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Agda 1

Agda 1 1.0.2

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

Agda is een systeem voor het stapsgewijs ontwikkelen van bewijzen en programma's. Dit is het sourceforge project voor de VORIGE Agda (Agda 1). Een nieuwere versie van Agda (Agda 2) in beta testen is beschikbaar bij: http://wiki.portal.chalmers.se/agda/

versiegeschiedenis

  • Versie 1.0.2 geplaatst op 2008-04-23
    Verschillende oplossingen en updates
  • Versie 1.0.2 geplaatst op 2008-04-23

Programmadetails

Gerelateerde programma's

  • Survival Medicine Guide Gratis proefperiode

    "Vereist gratis Adobe Reader"***Dit is een survival medicine gids voor het geval wat we allemaal vrezen echt gebeurt. Dit is een groot compliment aan een goede overleving handleiding. Deze informatie is mogelijk niet besc

  • terz Gratis

    Terz de ongelooflijke AutoTagger is een geautomatiseerde Audio File Tagger en File Renamer. Het maakt gebruik van informatie die door musicbrainz. Door het gebruik van contextinformatie behaalt Terz zeer goede resultaten. And

  • Lua ODE Gratis

    Lua ODE is bindingen van OpenDE voor de Lua taal voor Windoze, OS X en Linux platforms.

  • assistent-fah Gratis

    Assistent voor Folding@home de gemiddelde snelheid van uw computer berekenen in Folding@home gedistribueerd computerproject per clientlogboek.Assistent voor Folding@home is gelicentieerd onder GNU Algemene Openbare Licentie

  • Spanish Tester Lite Gratis proefperiode

    Spaanse Tester Pro test u op Spaanse werkwoord vervoegingen en overeenstemming tussen delen van spraak door het genereren van gesimuleerde quiz vragen.Meerkeuzevragen en invulvragen testen uw kennis op de volgende 15 werk

  • IRBEM-LIB Gratis

    IRBEM-LIB biedt routines om magnetische coördinaten te berekenen voor elke locatie in het aardmagnetisch veld, om coördinatenconversies uit te voeren, om geofysica/ruimtefysicamodellen te evalueren en om banen in de tijd te v

  • libTopo Gratis

    libTopo en TopoMap zijn tools voor het gebruik, converteren, analyseren en weergeven van topografie kaarten zoals ETOPO2, ETOPO5 en GLOBE. TopoMap is de command line interface om topografie databases om te zetten in ruwe gege

  • Nanodesigner Gratis

    Nanodesigner is een softwareplatform voor onderzoek naar moleculaire nanotechnologie. Het heeft een plug-in architectuur en zal tools voor moleculaire visualisatie en modellering, het ontwerp van complexe nieuwe moleculen, mo

  • Analysis & Reconstruction Sound Gratis

    De Analysis & Reconstruction Sound Engine analyseert een geluidsbestand in een spectrogram en is in staat om dit spectrogram, of een ander door de gebruiker gemaakt beeld, terug te synthetiseren tot een geluid.

  • G200X Motion controller Gratis

    Firmware- en GUI-code voor de Geckodrive G200X-bewegingscontroller