Agda संवर्द्धित रूप से विकसित करने के सबूत और कार्यक्रमों के लिए एक प्रणाली है। यह पिछले Agda (Agda 1) के लिए स्रोत परियोजना है । बीटा परीक्षण में Agda (Agda 2) का एक नया संस्करण से उपलब्ध है: http://wiki.portal.chalmers.se/agda/
संस्करण इतिहास
- विवरण 1.0.2 पर तैनात 2008-04-23
कई सुधार और अपडेट - विवरण 1.0.2 पर तैनात 2008-04-23
कार्यक्रम विवरण
- कोटि: पढ़ाई > अन्य
- प्रकाशक: unit.aist.go.jp/cvs/Agda/
- लाइसेंस: मुफ्त
- मूल्य: N/A
- विवरण: 1.0.2
- मंच: windows