Đị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.
lịch sử phiên bản
- Phiên bản files đăng trên 2010-04-07
Một số bản sửa lỗi và cập nhật - Phiên bản N/A đăng trên 2010-04-07
Chi tiết chương trình
- Mục: Giáo dục > Khác
- Publisher: coqtail.sf.net
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: Array
- Nền tảng: windows