Coq'Stats is a program to get statistics about Coq projects
Primary LanguageRust
No issues in this repository yet.