HOL-Theorem-Prover의 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
HOL4 정리 증명 시스템의 표준 소스입니다. develop 브랜치에서 메인 개발이 이루어지며, 회귀 테스트를 통과하면 master 브랜치로 병합됩니다.
