開發者 coqtail.sf.net

COQ 定理、抽象和實現（bachelor 級別）Coqtail 是使用 Coq 校樣助手的數學校樣庫。