<< Back to lean-knowledge-formalization

r-irbe/proof-skills/lean-knowledge-formalizationskill versions

1 skill version published

──Skill Version History

v1.0.0currentLLM-judged scan95/1003d ago

sha256:516c7af3fca8