Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Agda 1
  5. Download

Agda 1 1.0.2

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 5.0/5 - ‎1 ‎Votes

Sur Agda 1

Agda est un système d’élaboration progressive de preuves et de programmes. C’est le projet sourceforge pour l’Agda PRÉCÉDENTE (Agda 1). Une nouvelle version d’Agda (Agda 2) en version bêta est disponible à partir de: http://wiki.portal.chalmers.se/agda/

Programmes connexes

  • Survival Medicine Guide Essai gratuit

    « Nécessite lecteur Adobe gratuit"******Il s’agit d’un guide de médecine de survie au cas où ce que nous craignons tous se produit vraiment. C’est un grand compliment à n’importe quel bon manuel de survie. Ces information

  • terz Gratuit

    Terz l’incroyable AutoTagger est un fichier audio automatisé Tagger et File Renamer. Il utilise des informations fournies par musicbrainz. En utilisant des informations contextées, Terz obtient de très bons résultats. Autres

  • Lua ODE Gratuit

    Lua ODE est une reliure d’OpenDE pour la langue Lua pour les plateformes Windoze, OS X et Linux.

  • assistent-fah Gratuit

    Assistent pour Folding@home la vitesse moyenne de votre ordinateur dans Folding@home de calcul distribué par journal client.L’assistance pour Folding@home licence en vertu de la licence grand public GNU

  • Spanish Tester Lite Essai gratuit

    Testeur espagnol Pro vous teste sur les conjugaisons de verbe espagnol et l’accord entre les parties de la parole en générant des questions de quiz simulés.Des questions à choix multiples et à choix multiples testent vos

  • IRBEM-LIB Gratuit

    IRBEM-LIB fournit des routines pour calculer les coordonnées magnétiques pour n’importe quel endroit dans le champ magnétique terrestre, pour effectuer des conversions de coordonnées, pour évaluer les modèles de géophysique/p

  • libTopo Gratuit

    libTopo et TopoMap sont des outils pour utiliser, convertir, analyser et afficher des cartes topographie telles que ETOPO2, ETOPO5 et GLOBE. TopoMap est l’interface de la ligne de commande pour convertir les bases de données

  • Nanodesigner Gratuit

    Nanodesigner est une plate-forme logicielle de recherche sur la nanotechnologie moléculaire. Il a une architecture plug-in et comprendra des outils pour la visualisation moléculaire et la modélisation, la conception de nouvel

  • Analysis & Reconstruction Sound Gratuit

    Le moteur sonore d’analyse et de reconstruction analyse un fichier sonore dans un spectrogramme et est capable de synthétiser ce spectrogramme, ou toute autre image créée par l’utilisateur, dans un son.

  • G200X Motion controller Gratuit

    Firmware et code GUI pour le contrôleur de mouvement Geckodrive G200X