L
lean4-theorem-proving
VERIFIED
by community
βNo community reviews yet
32,970installs
Updated Apr 2026
Description
Use when working with Lean 4 (.lean files), writing mathematical proofs, seeing "failed to synthesize instance" errors, managing sorry/axiom elimination, or...
Related landing pages
Security Analysis
βε±ι©46/100
Open Source
Code is publicly available for audit.
Community Verified
Reviewed by the ClawHub community.
Community Reviews
Real user ratings only β separate from the editorial assessment and ClawHub signal.
No community reviews yet
Be the first to share your experience!
Community Signal
β ClawHub Community Score1.40 / 5.00
π₯ Installs32,970
π Last UpdateApr 15, 2026
π’ Actively maintained (0d ago)
ClawHub community score is a third-party marketplace signal. It is shown separately from SkillsReview editorial assessment and real user review averages.
View on ClawHub βTrend Charts
30 / 90 / 180 day snapshots for installs, stars, and community score.
Loading trend dataβ¦
Submit Your Review
Share your experience with the community and help others find the best skills.
Newsletter
Stay updated on lean4-theorem-proving and the wider SkillsReview ecosystem
Get the weekly Top 5, fresh security alerts, and newly hot skills by email. You can unsubscribe from any newsletter email in one click.