Invia software
  1. Casa
  2. Windows
  3. Altro
  4. Agda 1
  5. Download

Agda 1 1.0.2

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti

Circa Agda 1

Agda è un sistema per lo sviluppo incrementale di dimostrazioni e programmi. E' il progetto sourceforge per l'Agda precedente (Agda 1). Una versione più recente di Agda (Agda 2) nei test beta è disponibile presso: http://wiki.portal.chalmers.se/agda/

Programmi correlati

  • Survival Medicine Guide Prova gratuita

    "Richiede adobe reader gratuito"********Questa è una guida alla medicina di sopravvivenza nel caso in cui ciò che tutti temiamo accada davvero. Questo è un grande complimento per qualsiasi buon manuale di sopravvivenza. Q

  • terz Gratuito

    Terz l'incredibile AutoTagger è un tagger di file audio automatizzato e un rinominatore di file. Utilizza le informazioni fornite da musicbrainz. Utilizzando le informazioni di contesto Terz ottiene ottimi risultati. Altre ca

  • Lua ODE Gratuito

    Lua ODE è un binding di OpenDE per il linguaggio Lua per piattaforme Windoze, OS X e Linux.

  • assistent-fah Gratuito

    Assistent per Folding@home la velocità media del computer in un Folding@home di calcolo distribuito per registro client.Assistent for Folding@home è concesso in licenza sotto GNU General Public License

  • Spanish Tester Lite Prova gratuita

    Spanish Tester Pro ti mette alla prova sulle coniugazioni verbali spagnole e sull'accordo tra parti del discorso generando domande simulate al quiz.Domande a scelta multipla e fill-in-the-blank testano le tue conoscenze s

  • IRBEM-LIB Gratuito

    IRBEM-LIB fornisce routine per calcolare le coordinate magnetiche per qualsiasi posizione nel campo magnetico terrestre, per eseguire conversioni di coordinate, per valutare modelli di geofisica/fisica spaziale e per propagar

  • libTopo Gratuito

    libTopo e TopoMap sono strumenti per utilizzare, convertire, analizzare e visualizzare mappe topografiche come ETOPO2, ETOPO5 e GLOBE. TopoMap è l'interfaccia della riga di comando per convertire i database topografici in dat

  • Nanodesigner Gratuito

    Nanodesigner è una piattaforma software per la ricerca sulla nanotecnologia molecolare. Ha un'architettura plug-in e includerà strumenti per la visualizzazione e la modellazione molecolare, la progettazione di nuove molecole

  • Analysis & Reconstruction Sound Gratuito

    Analysis & Reconstruction Sound Engine analizza un file audio in uno spettrogramma ed è in grado di sintetizzare questo spettrogramma, o qualsiasi altra immagine creata dall'utente, in un suono.

  • G200X Motion controller Gratuito

    Firmware e codice GUI per il controller di movimento Geckodrive G200X