Skill v1.0.0

currentLLM-judged scan90/100

scottnarmstrong/leanautoformalizationskills/lean-elaboration-test

──Details

PublishedOctober 19, 2026 at 03:18 AM

Content Hashsha256:ea9fa6123d8c3a50...

Git SHA05a07311f16b

──Files

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