Coqtail

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 4.0/5 - ‎2 ‎Phiếu

Về Coqtail

Định lý COQ, Abstractions and Implementations (bachelor Level) Coqtail là một thư viện các bằng chứng toán học sử dụng trợ lý chứng minh Coq.