Programming languages used in this repository

  •   Coq
    94.96 %
  •   Makefile
    5.04 %

Commit statistics for a7262e532ec1f9c52a3f5312fc9b0f1ee39bd07d Aug 27 - Aug 22

  • Total: 124 commits
  • Average per day: 0.3 commits
  • Authors: 3

Commits per day of month

Commits per weekday

Commits per day hour (UTC)