<< Back to lean4

cameronfreer/lean4-skills/lean4skill versions

2 skill versions publishedCompare skill versions
──Skill Version History
v1.0.1currentAutomated scan100/100patch2mo ago
+46 new
sha256:6a5a12900806
v1.0.0LLM-judged scan95/1005mo ago
sha256:b8ac4779192d