Skill v1.0.0

currentLLM-judged scan90/100

synthetic-sciences/openscience/lean4-mathlib

──Details

PublishedOctober 16, 2026 at 05:44 PM

Content Hashsha256:9fb970b95921f86f...

Git SHA722ad051b7f6

──Files

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