Rare find

dafny. Dafny is a verification-aware programming language

github.com/dafny-lang/dafny

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.