UniMath의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
이 rocq 라이브러리는 유니발런트(univalent) 관점을 사용하여 방대한 수학 체계를 형식화하는 것을 목표로 합니다.
