开发者 coqtail.sf.net

COQ 定理、抽象和实现（bachelor 级别）Coqtail 是使用 Coq 校样助手的数学校样库。