HOL-Theorem-Prover

Nguồn chính thức cho hệ thống chứng minh định lý HOL4. Nhánh develop là nơi diễn ra quá trình phát triển chính; khi nhánh develop vượt qua các bài kiểm thử hồi quy, nhánh master sẽ được hợp nhất để cập nhật.