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.

• Project Information Updated

  n-kato changed the public information on the Agda 1 project

  posted by n-kato 300 days ago

• Agda 1.0.2 file released: Agda-1.0.2a.tar.gz

  posted 565 days ago

• Agda 1.0.2 file released: Agda-1.0.2a-latin1.tar.gz

  posted 565 days ago

• File released: /Agda/1.0.2/Agda-1.0.2a-latin1.tar.gz

  posted 566 days ago

• File released: /Agda/1.0.2/Agda-1.0.2a.tar.gz

  posted 566 days ago

• Tracker artifact added

  emmetcaulfield created the agda-mode.el uses deprecated cl-push/cl-pop artifact

  posted by emmetcaulfield 769 days ago

• Tracker artifact added

  emmetcaulfield created the 3 installation issues artifact

  posted by emmetcaulfield 769 days ago

• Tracker comment added

  emmetcaulfield commented on the Installation description needs to be updated artifact

  posted by emmetcaulfield 769 days ago

• Agda Lecture Notes

  Anton Setzer offers good course documents on interactive theorem proving with Agda: http://www.cs.swan.ac.uk/~csetzer/lectures/intertheo/

  posted by n-kato 994 days ago

• Agda 1.0.2 file released: Agda-1.0.2-i386-unknown-linux.tgz

  posted 1004 days ago