Coq

A formal proof management system

Rank

512 100

Git Repositories

coq

Started

1999-08-16 9,367 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 128 commits #452 11 contributors #679
Past 90 days 475 commits #397 19 contributors #798
Past 365 days 1,741 commits #440 60 contributors #671
Past 1095 days 4,997 commits #529 127 contributors #849
All time 35,787 commits 321 contributors

Contributing Individuals

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