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/
VERSION HISTORY
- Version 1.0.2 posted on 2008-04-23
Several fixes and updates - Version 1.0.2 posted on 2008-04-23
Program Details
- Category: Education > Other
- Publisher: unit.aist.go.jp/cvs/Agda/
- License: Free
- Price: N/A
- Version: 1.0.2
- Platform: windows