PLUGIN 0 upvotes 1

Lean4 Claude Plugin

Lean 4 Claude Code Plugin: Native LSP + 17 MCP tools for theorem proving

by Beneficial-AI-Foundation View Source

Tags

development