La interfaz está localizada; las descripciones y documentos de las Skills se traducen automáticamente con IA a su idioma. El código, los comandos, rutas y términos técnicos se mantienen en el original, y prevalece el documento del autor.

Explorar Skills

Productividad · 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

Documentación de la Skill

Cargando documentación desde el origen…

MAKE IT PART OF YOUR WORKFLOW

Instalar Skill

TERMINAL

npx skills add stanfish06/skillquarium --skill pure-mathematician

Ejecuta el comando en tu terminal. Revisa el código y la licencia antes de instalar.

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

Estrellas del repositorio: Not synced
Licencia: NOASSERTION
Versión / rama: HEAD · d944f9dd
Repositorio actualizado: Not synced

Revisa los scripts y los permisos antes de instalar.

Skills guardadas