Skip to main content
Manusで任意のスキルを実行
ワンクリックで

formal-model-exposition

スター4
フォーク0
更新日2026年3月2日 22:45

Avaliar comunicacao e estrutura de papers com modelos formais em CP/RI (baseado em Varian 1997/2016, Thomson 1999 e Board & Meyer-ter-Vehn 2018)

インストール

Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。

SKILL.md
readonly