Submit Software
  1. Home
  2. Windows
  3. Other
  4. Agda 1
  5. Download

Agda 1 1.0.2

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

ABOUT Agda 1

Agda is a system for incrementally developing proofs and programs. This is the sourceforge project for the PREVIOUS Agda (Agda 1). A newer version of Agda (Agda 2) in beta testing is available from: http://wiki.portal.chalmers.se/agda/

Related Programs

  • Survival Medicine Guide Free Trial

    ******"Requires Free Adobe Reader"********This is a survival medicine guide in case what we all fear really happens. This is a great compliment to any good survival manual. This info may not be available when you need it. Get

  • terz Free

    Terz the incredible AutoTagger is a automated Audio File Tagger and File Renamer. It uses information provided by musicbrainz. By using context information Terz achieves very good results. Other features: show incomplete albu

  • Lua ODE Free

    Lua ODE is bindings of OpenDE for the Lua language for Windoze, OS X, and Linux platforms.

  • assistent-fah Free

    Assistent for Folding@home calculate average speed of your computer in Folding@home distributed computing project by client log.Assistent for Folding@home is licensed under GNU General Public License

  • Spanish Tester Lite Free Trial

    Spanish Tester Pro tests you on Spanish verb conjugations and agreement between parts of speech by generating simulated quiz questions.Multiple-choice and fill-in-the-blank questions test your knowledge on the following 15 ve

  • IRBEM-LIB Free

    IRBEM-LIB provides routines to compute magnetic coordinates for any location in the Earth's magnetic field, to perform coordinate conversions, to evaluate geophysics/space-physics models, and to propagate orbits in time.

  • libTopo Free

    libTopo and TopoMap are tools to use, convert, analyze and display topography maps such as ETOPO2, ETOPO5 and GLOBE. TopoMap is the command line interface to convert topography databases to raw data, images, etc...

  • Nanodesigner Free

    Nanodesigner is a software platform for research on molecular nanotechnology. It has a plug-in architecture and will include tools for molecular visualization & modelling, design of complex new molecules, molecular dynami

  • Analysis & Reconstruction Sound Free

    The Analysis & Reconstruction Sound Engine analyses a sound file into a spectrogram and is able to synthesise this spectrogram, or any other user-created image, back into a sound.

  • G200X Motion controller Free

    Firmware and GUI code for the Geckodrive G200X motion controller