AI Summary"description": "Skills for developing with Lean 4 and Mathlib — proof methodology, toolchain setup, bisection, and more", "name": "Lean FRO, LLC" "homepage": "https://github.com/leanprover/skills",
Install
Type these inside Claude Code's chat:
/plugin marketplace add leanprover/skills
/plugin install lean@skills
Description
Skills for AIs using the Lean programming language and theorem prover — proofs, toolchain setup, bisection, and more
Discussion
0/2000
Loading comments...
Health Signals
MaintenanceCommitted 1mo ago
● ActiveAdoptionUnder 100 stars
33 ★ · NicheDocsREADME + description
Well-documentedApache-2.0 License
My Fox Den
Community Rating
Sign in to rate this booster
Works With
Claude Code