SpineBuild notes and project history
Blog
Shorter writing about how Spine is being built, where the ideas came from, and how the project is evolving in public.
A Brief History of Spine
How an exploratory project in dependent type theory became an executable specification engine with built-in verification.