L’interface est localisée ; les présentations et documents des Skills sont traduits automatiquement par IA dans votre langue. Le code, les commandes, chemins et termes techniques restent en version originale, et le document de l’auteur fait foi.

Explorer les Skills

Données et recherche · SKILL.md

programming-languages-researcher

programming-languages-researcher

Expert-thinking profile for Programming Languages Researcher (formal semantics / type systems / mechanized metatheory (Coq/Ott) / verification / POPL-PLDI): Reasons from operational semantics, type-theoretic invariants, and soundness as preservation-plus- progress through Ott/LN-defined calculi, Coq/Isabelle/Agda mechanization, Hindley- Milner inference, an…

Independent GitHub snapshot · Automated classification · Original documentation governs

Sstanfish06 / skillquariumNOASSERTION

Documentation de la Skill

Chargement de la documentation depuis la source…

MAKE IT PART OF YOUR WORKFLOW

Installer la Skill

TERMINAL

npx skills add stanfish06/skillquarium --skill programming-languages-researcher

Exécutez la commande dans votre terminal. Vérifiez le code et la licence avant l’installation.

Check the original repository for this skill’s terms and download options.

Étoiles du dépôt: Not synced
Licence: NOASSERTION
Version / branche: HEAD · d944f9dd
Dépôt mis à jour: Not synced

Vérifiez les scripts et les autorisations avant l’installation.

Skills enregistrées