<< Back to lean-project-architecture

scottnarmstrong/leanautoformalizationskills/lean-project-architectureskill versions

1 skill version published
──Skill Version History
v1.0.0currentLLM-judged scan90/10021d ago
sha256:bd6afb8c99ee