Agda 1 1.0.2

लाइसेंस: मुफ्त ‎फ़ाइल आकार: N/A
‎उपयोगकर्ताओं की रेटिंग: 5.0/5 - ‎1 ‎वोट

करीबन Agda 1

Agda संवर्द्धित रूप से विकसित करने के सबूत और कार्यक्रमों के लिए एक प्रणाली है। यह पिछले Agda (Agda 1) के लिए स्रोत परियोजना है । बीटा परीक्षण में Agda (Agda 2) का एक नया संस्करण से उपलब्ध है: http://wiki.portal.chalmers.se/agda/