Total Skills
1
Author Profile: CBirkbeck
Skills published by CBirkbeck with real stars/downloads and source-aware metadata.
Total Stars
9
Total Downloads
0
Skills Performance
Comparison chart based on real stars and downloads signals from source data.
mathlib-quality
9
Stars
9
Downloads
0
Published Skills
mathlib-quality
Mathlib code quality and style enforcement for Lean 4
Repository SourceNeeds Review