Commits and authors (coq)

Total number of commits (excl. merge): 17696