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