Agda 1 1.0.2
라이센스: 무료 파일 크기: N/A
사용자 평가: 5.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Agda 1
Agda는 증거와 프로그램을 점진적으로 개발하기위한 시스템입니다. 이것은 이전 Agda (Agda 1)에 대한 소스 포지 프로젝트입니다. 베타 테스트에서 Agda(Agda 2)의 최신 버전을 사용할 수 있습니다http://wiki.portal.chalmers.se/agda/