If you find vskill useful, give it a star on GitHub→
← All publishers
── leanprover ──────────────────────────────────────
1 skillAvg Trust: 707.5k total stars
1 skill
lean4
VERIFIED
leanprover/lean4
Trust: 707.5k starsleanprover/lean4v1.0.020d ago
All 1 skills loaded