cameronfreer/lean4-skills

Claude skills for Lean 4 theorem proving

2 skills

Advertise on playbooks

Put your product in front of developers browsing MCP servers and agent skills. ↗

Sponsored