If you find vskill useful, give it a star on GitHub→

LoginSkills Studio Watch Submit Publishers Trust Queue Docs Insights

vskill

Securing the AI skills supply chain.

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

MIT License

Version History - lean4-theorem-proving | verified-skill.com | vSkill

<< Back to lean4-theorem-proving

benchflow-ai/skillsbench/lean4-theorem-provingskill versions

2 skill versions publishedCompare skill versions

──Skill Version History

v1.0.1currentLLM-judged scan95/100patch1mo ago

sha256:ccdf91ca8b6e

v1.0.0Automated scan5mo ago

sha256:e3b0c44298fc