Chương trình theo coqtail.sf.net

Đị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.