UniMath
Some data may be outdated — see provenance labels.
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view. observed · 2026-10-02
Health v2 · maintenance only
80/100
- Activity 96
- Release rhythm 48
- Longevity 100
Flags: no_license
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: 253
- age_days: 4616
- days_rel: 139
- days_push: 26
- n_releases_24m: 2
Adoption not part of the score
1017 stars · 187 forks observed · 2026-10-02
Summary
No AI-extracted summary yet.
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| UniMath/UniMath | main | 80 |
| UniMath/Foundations | backend | 32 |
| UniMath/TypeTheory | backend | 65 |
For agents
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem