repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
leanprover-community/mathlib | LeanOther | 1.6k | +4 | 303 | 0 |
LogicalAtomist/principia | TeXCoq | 196 | 0 | 5 | 0 |
Review Github collects stats from github repositories on a daily basis.
57,973 Repositories indexed · Code solutions