There is a good book about Dafny that came out recently, I highly recommend it - https://mitpress.mit.edu/9780262546232/program-proofs/

The crafting system in Sprunked Game is a fantastic addition! I enjoy gathering resources and creating new items to aid my gameplay. It adds a layer of strategy and planning that keeps me engaged. The thrill of crafting something powerful makes my gaming sessions even more enjoyable!