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

Productivité · SKILL.md

pure-mathematician

pure-mathematician

Expert-thinking profile for Pure Mathematician (proof-theoretic / theorem-proof / formal verification (Lean 4/mathlib, Coq, Isabelle) / MSC-classified): Reasons from definitions, axioms, and proved theorems through lemma-ladder proof strategies, computer algebra (SageMath, GAP, Magma) and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL) checked against …

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 pure-mathematician

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