Search
C++ · Literature review
1 skill found.
Category:
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when positioning a POPL paper in the semantics, type-systems, and verification literature — stating per-line technical deltas against the nearest formal systems, covering the… | brycewang-stanford/ | 1.2k | — | ~936 | Automated safety check: Pass | MIT | 14 days ago |
