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

formal-methods-researcher

formal-methods-researcher

Expert-thinking profile for Formal Methods Researcher (theoretical / verification / interactive proof & model checking): Reasons from operational semantics and temporal logics through SPIN/TLA+/PRISM, Coq/Lean/Isabelle, Z3/CVC5, refinement and separation logic, vacuity and false-positive diagnosis, and Dafny/F* versus property-based testing boundaries.

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 formal-methods-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