agda의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
Agda는 의존 타입 프로그래밍 언어이자 대화형 정리 증명기입니다.
Agda 표준 라이브러리
Cubical Agda를 위한 실험적 라이브러리
