Test Vectors vs Mathlib
| Mathlib | Test Vectors | |
|---|---|---|
| Stars | 43 | 18 |
| Downloads | ||
| Dependent Packages | 10 | |
| Dependent Repos | ||
| Most Recent Commit | a year ago | 8 months ago |
| Total Releases | 8 | |
| Latest Release | August 22, 2023 | |
| Open Issues | 1 | 46 |
| License | mit | other |
| Programming Language | TypeScript | Go |