Date Created
2017-12-18
(7 years ago)
Commits
135
(last one 9 months ago)
Stargazers
68
(0 this week)
Watchers
11
(0 this week)
Forks
6
License
other
Ranking
RepositoryStats indexes 619,220 repositories, of these coq-community/manifesto is ranked #393,103 (37th percentile) for total stargazers, and #194,074 for total watchers.
Other Information
coq-community/manifesto has Github issues enabled, there are 37 open issues and 73 closed issues.
All Topics
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
10 commits on the default branch (master) since jan '22
Yearly Commits
Commits to the default branch (master) per year
Issue History
Languages
We don't have any language data for this repository
It's a mystery
updated: 2025-02-18 @ 09:20pm, id: 114664048 / R_kgDOBtWicA