Coq

A formal proof management system

Rank

684 99

Git Repositories

coq

Started

1999-08-16 9,359 days ago

Categories

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

Past 30 days 73 commits #695 6 contributors #1,112
Past 90 days 424 commits #441 15 contributors #958
Past 365 days 1,723 commits #445 56 contributors #716
Past 1095 days 4,959 commits #536 123 contributors #874
All time 35,710 commits 318 contributors

Contributing Individuals

Commits past X days
30 90 365 1095 All
41 Erik Martin-Dorel 0 1 2 3 72
42 Christine Paulin 0 0 0 0 82
43 Yann Régis-Gianas 0 0 0 0 79
44 Julien Narboux 0 0 0 0 77
45 Elie Soubiran 0 0 0 0 76
46 Rodolphe Lepigre 0 0 10 14 14
47 Vincent Gross 0 0 0 0 68
48 Paul Steckler 0 0 0 0 67
49 Andrej Dudenhefner 0 0 3 16 25
50 Quentin Vermande 0 0 8 13 13
51 Xavier Clerc 0 0 0 0 61
52 David Delahaye 0 0 0 0 56
52 Tej Chajed 0 0 0 0 56
54 Lionel Elie Mamane 0 0 0 0 55
55 Kazuhiko Sakaguchi 0 0 0 5 42
56 Karl Palmskog 0 0 0 16 18
57 Evgeny Makarov 0 0 0 0 49
57 Ralf Jung 0 0 0 5 39
59 Laurent Théry 0 0 0 1 46
60 Amin Timany 0 0 0 0 46
Showing 41 to 60 of 318 results Previous Next
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)