dafny-lang

dafny-lang

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
3.4k Stars
313 Forks
3.4k Watchers

Repositories (1)

dafny dafny-lang/dafny C#

Dafny is a verification-aware programming language

3.4k