Formal Methods

166 readers

1 users here now

founded 2 years ago

MODERATORS

[email protected]

The Dafny Programming and Verification Language (dafny.org)

submitted 1 year ago* (last edited 1 year ago) by [email protected] to c/[email protected]

2 comments fedilink hide all child comments

I saw this posted on r/ProgrammingLanguages. I hadn't heard of this language before, but it looks neat.

https://en.wikipedia.org/wiki/Dafny

top 2 comments

sorted by: hot top controversial new old

[–] 17451k 2 points 1 year ago

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

[–] [email protected] 1 points 3 weeks ago

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!