Skills Studio Our approach Docs

Resources

Watch Submit Publishers Trust center Queue Insights Desktop app

vskill

Focused expertise. Inspectable evidence.

Skills Studio Watch Publishers Trust Docs Queue Submit Insights GitHub npm SpecWeave

MIT License

Version History - lean-math-foundations | Verified Skill

<< Back to lean-math-foundations

r-irbe/proof-skills/lean-math-foundationsskill versions

1 skill version published

──Skill Version History

v1.0.0currentLLM-judged scan95/1005h ago

sha256:13907a5d05c0