Программы coqtail.sf.net

Теоремы, абстракции и реализации (бакалавр уровня) Coqtail является библиотека математических доказательств с помощью помощника доказательства Coq.