Skill v1.0.0

currentLLM-judged scan95/100

scottnarmstrong/leanautoformalizationskills/lean-workflow

──Details

PublishedOctober 11, 2026 at 02:09 AM

Content Hashsha256:610ba087e203fef7...

Git SHA

──Files

Content not available for this version — stored from v1.0.1 onwards.