<< All versions

Skill v1.0.0

currentLLM-judged scan100/100

r-irbe/proof-skills/lean-math-discrete

──Details

PublishedSeptember 26, 2026 at 08:58 AM

Content Hashsha256:67ad0dc2a3d4e2df...

Git SHA

──Files

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