If you find vskill useful, give it a star on GitHub
→
vskill
Login
/
⌘K
Skills
Studio
Watch
Submit
Publishers
Trust
Queue
Docs
Insights
leanprover | Publishers | verified-skill.com | vSkill
← All publishers
──
leanprover
3 skills
Avg Trust: 50
7.6k total stars
Repositories (2)
leanprover/lean4
7.5k stars
1 skill
leanprover/skills
46 stars
2 skills
All
Coding
Design
Sort
Trending
Trust Score
Stars
Newest
Tier
All Tiers
Verified
Certified
3 skills
lean4
Scanned
leanprover/lean4
Trust: 70
7.5k stars
leanprover/lean4
v1.0.0
2mo ago
lean-setup
Scanned
leanprover/skills
Trust: 40
46 stars
leanprover/skills
v1.0.0
9d ago
mathlib-build
Scanned
leanprover/skills
Trust: 40
46 stars
leanprover/skills
v1.0.0
9d ago
All 3 skills loaded