Главная · Плагины · leanprover/skills

leanprover/skillsскиллы Lean

leanprover/skills

Набор скиллов Lean (доказательства) для Claude Code.

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

Установка

/plugin marketplace add leanprover/skills