This is a workshop repo designed to help engineers learn about spec-driven development (and lightweight formal methods) through a series of exercises.

The source lives at adzerk/spec-driven-workshop. See the main-more branch for additional material.