this post was submitted on 19 Jul 2023
3 points (100.0% liked)

Formal Methods

190 readers
1 users here now

founded 2 years ago
MODERATORS
Ategon@programming.dev
synthetic_apriori@programming.dev
3
The Dafny Programming and Verification Language (dafny.org)
submitted 2 years ago* (last edited 2 years ago) by synthetic_apriori@programming.dev to c/formal_methods@programming.dev
1 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 1 comments
sorted by: hot top controversial new old
[–] Helgaella@lemmy.sdf.org 1 points 7 months 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!