Code for the video Refactoring With Proofs on Craft vs Cruft.
For background on the Gilded Rose Kata, see Emily Bache's repo.
This version has been ported to Dafny for practice with program proofs.
main - Ported code and main method to replicate the golden file specification - Basic pre/post conditions added, a good starting point solution - Full formal specifications, and implementation replaced with pure functions
It's recommended to install dotnet Dafny and its VS Code extension. Then you can get proof feedback within in the editor.
make test