Главная · Тег

Lean 4

Lean 4 в экосистеме Claude Code: 2 инструмента. Популярные: Lean 4, Lean 4 Skills. У каждого — описание на русском, команда установки и ссылка на исходники.

Beneficial-AI-Foundation/lean4-claude-plugin — Lean 4

Beneficial-AI-Foundation/lean4-claude-plugin

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

cameronfreer/lean4-skills — Lean 4 Skills

cameronfreer/lean4-skills

Набор скиллов Lean 4 для Claude Code.