← All publishers

scottnarmstrong

12 skillsAvg Trust: 6750 total stars
12 skills
build-proof-dependency-graph
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 6750 starsscottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-elaboration
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 6750 starsscottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-elaboration-test
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-learnings
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 6750 starsscottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-naming-style
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-orchestrator
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-project-architecture
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-proof-patterns
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-public-release
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-search-discovery
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-statement-audit
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 67scottnarmstrong/leanautoformalizationskillsv1.0.021d ago
lean-workflow
Scanned
scottnarmstrong/leanautoformalizationskills
Trust: 69scottnarmstrong/leanautoformalizationskillsv1.0.029d ago
All 12 skills loaded