B
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