Coq

A formal proof management system

started in 1999
35,828 commits
326 contributors

Rank

456 158

Git Repositories

coq

Started

1999-08-16 9,389 days ago

Alternatives to

Wolfram Alpha Pro

GitHub Stars

4,936 #1,818

Weekly commits since inception

1999 2012 2025

Weekly contributors since inception

1999 2012 2025

Recent Project Activity

Time Period Commits Contributors
Past 30 days 102 commits #517 16 contributors #470
Past 90 days 398 commits #475 22 contributors #689
Past 365 days 1,708 commits #448 65 contributors #625
Past 1095 days 5,007 commits #527 132 contributors #811
All time 35,828 commits 326 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
0 0 0 4 10
0 0 0 0 18
1 1 1 1 1
1 1 1 1 1
103 Pim Otte
1 1 1 1 1
1 1 1 1 1
103 remzi
0 0 0 5 5
0 0 0 0 15
103 blumer
1 1 1 1 1
110 mrmr1993
0 0 0 0 14
0 0 0 0 12
0 0 2 2 2
0 0 2 2 2
0 0 0 0 12
111 chluebi
0 0 2 2 2
0 0 2 2 2
0 0 2 2 2
0 0 0 3 5
0 0 0 3 5
118 whonore
0 0 0 2 7
Showing 101 to 120 of 326 results

Contributing Companies

Add the OSSRank badge to this project

OSSRank Badge Add this OSSRank shield to your project's README.md
[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/2467)](https://ossrank.com/p/2467)