<< Back to lean-doc-feedback

r-irbe/proof-skills/lean-doc-feedbackskill versions

1 skill version published
──Skill Version History
v1.0.0currentLLM-judged scan95/1003d ago
sha256:9fd78abbf6ff