{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:brew/dafny","name":"dafny","description":"Verification-aware programming language","version":"4.11.0","softwareVersion":"4.11.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/dafny-lang/dafny","issueTracker":"https://github.com/dafny-lang/dafny/issues","url":"https://github.com/dafny-lang/dafny/blob/master/README.md","programmingLanguage":{"@type":"ComputerLanguage","name":"C#"},"dateCreated":"2022-04-12","dateModified":"2025-09-04","datePublished":"2025-09-04","copyrightYear":2022,"applicationCategory":"homebrew","runtimePlatform":"homebrew","developmentStatus":"active","sameAs":["https://formulae.brew.sh/formula/dafny"],"https://www.w3.org/ns/activitystreams#likes":3561,"https://forgefed.org/ns#forks":327}