coq
Account Summary
Analyzed
12 months
ago
Most experienced in
coq
First commit
about 14 years ago
Most recent commit
over 8 years ago
Has made
618 commits
Joined Open Hub
almost 11 years ago
Contributed to