Главная · Плагины · Beneficial-AI-Foundation/lean4-claude-plugin

Beneficial-AI-Foundation/lean4-claude-pluginLean 4

Beneficial-AI-Foundation/lean4-claude-plugin

Плагин Claude Code для языка доказательств Lean 4.

Lean 4 доказательства математика разработка Claude Code плагин MCP инструменты

Установка

/plugin marketplace add Beneficial-AI-Foundation/lean4-claude-plugin