[X] The "/mophpbb/1/lang_german.zip" file could not be found or is not available. Please select another file.

Welcome, Guest! Log In | Create Account

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/

Download Now! Agda-1.0.2a-latin1.tar.gz (513.8 KB) OR View all files

Browse Files for Agda 1

File/Folder Name  Platform Size Date ↓ Downloads Notes/Subscribe
Newest Files
Agda-1.0.2a-latin1.tar.gz 513.8 KB 2008-04-23 82 Release Notes
Agda-1.0.2a.tar.gz 513.6 KB 2008-04-23 60 Release Notes
All Files Subscribe
Agda 193.2 MB 2008-04-23 1,355 Subscribe Folder view
1.0.2 37.7 MB 2008-04-23 947 Subscribe Folder view
Agda-1.0.2a-latin1.tar.gz 513.8 KB 2008-04-23 82 Release Notes
Agda-1.0.2a.tar.gz 513.6 KB 2008-04-23 60 Release Notes
Agda-1.0.2-i386-unknown-linux.tgz 3.4 MB 2007-02-09 120 Release Notes
Agda-1.0.2-macosx-ppc.dmg 9.0 MB 2007-02-06 82 Release Notes
Agda-1.0.2-macosx-x86.dmg 8.1 MB 2007-02-06 87 Release Notes
Agda_1_0_2.exe 15.1 MB 2007-01-30 299 Release Notes
Agda-1.0.2.tar.gz 505.6 KB 2007-01-30 136 Release Notes
Agda-1.0.2-latin1.tar.gz 505.4 KB 2007-01-30 81 Release Notes
1.0.1 14.3 MB 2006-12-11 65 Subscribe Folder view
Agda_1_0_1.exe 14.3 MB 2006-12-11 65
1.0.0 49.5 MB 2006-07-04 57 Subscribe Folder view
agda-1.0.0-ppc-macosx.dmg 49.5 MB 2006-07-04 57
1.0.0rc4 69.4 MB 2006-05-12 153 Subscribe Folder view
agda-1-0-0rc4.tar.gz 496.1 KB 2006-05-12 44 Release Notes
agdadoc-1-0-0rc4.tar.gz 767.1 KB 2006-05-12 19 Release Notes
agda-1.0.0rc4-i386-windows.exe 18.6 MB 2006-05-12 79 Release Notes
agda-1.0.0rc4-ppc-macosx.dmg 49.6 MB 2006-05-11 11 Release Notes
1.0.0rc2 20.7 MB 2006-03-15 62 Subscribe Folder view
agda-1.0.0-i386-windows.exe 18.6 MB 2006-03-15 15
agda-1.0.0-src.tar.gz 482.0 KB 2006-03-15 26
gandalf26r1.tar.gz 1.6 MB 2006-03-15 21
cvs20041103 1.6 MB 2004-11-14 71 Subscribe Folder view
Agda-cvs20041103-i386-Linux.tgz 1.3 MB 2004-11-14 28
Agda-cvs20041103.tar.gz 262.0 KB 2004-11-14 43

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use