HOL-Theorem-Prover/HOL
@HOL-Theorem-ProverHOL4 정리 증명 시스템의 표준 소스입니다. develop 브랜치에서 메인 개발이 이루어지며, 회귀 테스트를 통과하면 master 브랜치로 병합됩니다.
스타
757
포크
173
언어
Standard ML
라이선스
NOASSERTION
마지막 푸시
14시간 전
관련 인텔 (0)
아직 관련 인텔이 없습니다
이 저장소는 radar가 추적하는 어떤 소스에도 아직 등장하지 않았습니다. 수집기는 예약에 따라 실행됩니다——이 저장소를 다루게 되면 다시 확인하세요.