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

proof-techniques

proof-techniques

Proof writing and verification techniques for mathematical reasoning. Covers 13 proof strategies with canonical worked examples — direct, contrapositive, contradiction, cases, WLOG, vacuous/trivial, biconditional, counterexample, existence (constructive and non-constructive), uniqueness, induction (weak, strong, structural), pigeonhole/double-counting, and …

Independent GitHub snapshot · Automated classification · Original documentation governs

Ttibsfox / gsd-skill-creatorSource-available

Documentación de la Skill

Cargando documentación desde el origen…

MAKE IT PART OF YOUR WORKFLOW

Instalar Skill

TERMINAL

npx skills add tibsfox/gsd-skill-creator --skill proof-techniques

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: Source-available
Versión / rama: HEAD · efaa2f28
Repositorio actualizado: Not synced

Revisa los scripts y los permisos antes de instalar.

Skills guardadas