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/
Be the first to post a text review of Agda 1. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Anton Setzer offers good course documents on interactive theorem proving with Agda: http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/
Be the first person to add a text review.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?