Total Skills
3
Author Profile: cameronfreer
Skills published by cameronfreer with real stars/downloads and source-aware metadata.
Total Stars
0
Total Downloads
59
Skills Performance
Comparison chart based on real stars and downloads signals from source data.
lean4
39
Stars
0
Downloads
39
lean4-theorem-proving
11
Stars
0
Downloads
11
lean4-memories
9
Stars
0
Downloads
9
Published Skills
lean4
Repository SourceNo summary provided by upstream source.
-39
Repository SourceNeeds Review
lean4-theorem-proving
Repository SourceNo summary provided by upstream source.
-11
Repository SourceNeeds Review
lean4-memories
Repository SourceNo summary provided by upstream source.
-9
Repository SourceNeeds Review