Skip to content

Security: dafny-lang/dafny

Security

SECURITY.md

Security issue notifications

If you discover a potential security issue in this project we ask that you notify the security contact. Please do not create a public github issue.

There aren’t any published security advisories