OSS Project

Coq

A formal proof management system

Rank
605
Decreased by 79
Git Repositories
coq
Started
1999-08-16 8,882 days ago
Categories
Math
Alternatives to
Wolfram Alpha Pro
GitHub Stars
4,430 #1,760
Stackoverflow Questions with tag coq
2,881 #341
Weekly commits since inception
1999 2011 2023
Weekly contributors since inception
1999 2011 2023
Recent Project Activity
Day Span Commits Contributors
30 68 #772 11 #759
90 293 #658 26 #679
365 1,466 #618 57 #801
1095 5,031 #553 110 #983
All time 33,213 276
Contributing Individuals
Commits past X days
Contributor 30 90 All
1 Pierre-Marie Pédrot 10 22 5,463
2 Gaëtan Gilbert 32 131 2,782
3 Hugo Herbelin 6 40 5,710
4 Maxime Dénès 0 1 2,434
5 Emilio Jesús Gallego Arias 5 6 1,937
6 Théo Zimmermann 0 4 1,574
7 Matthieu Sozeau 0 0 1,892
8 Enrico Tassi 0 0 1,506
9 Pierre Letouzey 0 0 1,666
10 Pierre Roux 4 19 291
11 Jason Gross 2 7 523
12 Guillaume Melquiond 0 0 546
13 Jim Fehrle 0 1 278
14 Arnaud Spiwack 0 0 558
15 Ali Caglayan 0 0 164
16 Pierre Boutillier 0 0 438
17 Jean-Christophe Filliâtre 0 0 405
18 Jean-Marc Notin 0 0 352
19 Vincent Laporte 0 0 331
20 Matej Košík 0 0 290
Contributing Companies

Add this OSSRank shield to this project's README.md

[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/2467)](https://ossrank.com/p/2467)