Data & research · 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

Skill documentation

GitHub

Loading documentation from the source…

MAKE IT PART OF YOUR WORKFLOW

Install skill

TERMINAL

npx skills add stanfish06/skillquarium --skill programming-languages-researcher

Run the command in your terminal. Review the code and license before installing.

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

Source code

Repository stars: Not synced
License: NOASSERTION
Version / branch: HEAD · d944f9dd
Repository updated: Not synced

Review scripts and permissions before installing.

Source code

programming-languages-researcher

Skill documentation

More skills to explore

skill-creator

vercel-react-best-practices

migrate-to-shoehorn