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/