Agda 1 / News: Recent posts

Agda Lecture Notes

Anton Setzer offers good course documents on interactive theorem proving with Agda:

Posted by kato 2007-02-20

Agda CVS

The Agda CVS repository can be browsed at

Posted by Anonymous 2004-11-04

Agda snapshots

Some CVS snapshots of Agda are available from

Posted by Anonymous 2004-11-04

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks