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

Datos e investigación · 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

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 programming-languages-researcher

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