Skip to main content
Jeden Skill in Manus ausführen
mit einem Klick

formal-model-exposition

Sterne4
Forks0
Aktualisiert2. März 2026 um 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)

Installation

Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.

SKILL.md
readonly