RepositoryStats indexes 534,551 repositories, of these choukh/Set-Theory is ranked #387,097 (28th percentile) for total stargazers, and #448,591 for total watchers. Github reports the primary language for this repository as Coq, for repositories using this language it is ranked #76/95.
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
0 commits on the default branch (master) since jan '22
![Inactive](/images/death.png)
No recent commits to this repository
Yearly Commits
Commits to the default branch (master) per year
Issue History
Languages
The primary language is Coq but there's also others...
updated: 2024-05-24 @ 01:35am, id: 262253972 / R_kgDOD6GtlA