dafny-lang

dafny-lang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
3.5k Stars
323 Forks
75 Watchers

Repositories (1)

dafny dafny-lang/dafny C#

Dafny is a verification-aware programming language

3.5k