<< All versions
Skill v1.0.0
currentAutomated scan100/100ndpvt-web/arxiv-claude-skills/doc2spec-synthesizing-formal-programming
PublishedApril 27, 2026 at 01:49 PM
Content Hashsha256:b10d0d79ae7ceaea...
Git SHA2b072f838cf0
Content not available for this version — stored from v1.0.1 onwards.