Coq

A formal proof management system

started in 1999
35,902 commits
329 contributors

Rank

461 31

Git Repositories

coq

Started

1999-08-16 9,394 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 83 commits #591 14 contributors #519
Past 90 days 385 commits #489 24 contributors #635
Past 365 days 1,745 commits #440 68 contributors #599
Past 1095 days 5,019 commits #523 135 contributors #787
All time 35,902 commits 329 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
262 stop-cran
0 0 0 0 1
262 G. Allais
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
262 scinart
0 0 0 0 1
0 0 0 0 1
262 Erika
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
0 0 0 0 1
Showing 281 to 300 of 329 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)