dafny
Dafny is a verification-aware programming language
- ATK
- 3255
- DEF
- 4154
Common
dafny-lang/dafny
Common · Base · GenesisDafny is a verification-aware programming language
Attack3,255
Defense4,154
Drag the card to turn it. Use the flip button to see the back.
Open card page